diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2011-12-25 05:47:23 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2011-12-25 05:47:23 +0000 |
commit | f77741e018ab9a6fbbb8c57439e2bb0c33a375a5 (patch) | |
tree | c445822f51cde248550370171c9013fea631b674 /pkgs/applications/science/logic | |
parent | ff2f4827b448aaa2d374548be9e34ee467e935af (diff) | |
parent | f806eca299854ed6d3d63e65e49b07841d83e1f9 (diff) | |
download | nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar.gz nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar.bz2 nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar.lz nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar.xz nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.tar.zst nixlib-f77741e018ab9a6fbbb8c57439e2bb0c33a375a5.zip |
merge trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=31067
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions