diff options
author | Ludovic Courtès <ludo@gnu.org> | 2012-03-26 17:47:47 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2012-03-26 17:47:47 +0000 |
commit | 95703347b6b1f4112611c16a08bf583666dda00b (patch) | |
tree | 5b524f8459f699d2f9014165129c3b9e6c28d342 /pkgs/applications/science/logic | |
parent | f6af9b84c6bfe021fe8763c810926b2049417ecf (diff) | |
download | nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar.gz nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar.bz2 nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar.lz nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar.xz nixlib-95703347b6b1f4112611c16a08bf583666dda00b.tar.zst nixlib-95703347b6b1f4112611c16a08bf583666dda00b.zip |
GCC 4.7: Fix the `name' attribute.
svn path=/nixpkgs/trunk/; revision=33432
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions