diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-05-28 19:41:26 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-05-28 19:41:26 +0000 |
| commit | 390907e0a22ed04073e6cdc5e376ed61ffcb401f (patch) | |
| tree | 8c7771844d1c376702c5b80fd214d2145beede8a /pkgs/applications/science/logic | |
| parent | 0ff3dd24adf4879341337d098dfe7ceefbff3863 (diff) | |
| download | nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar.gz nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar.bz2 nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar.lz nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar.xz nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.tar.zst nixlib-390907e0a22ed04073e6cdc5e376ed61ffcb401f.zip | |
Update coq to use camlp5 version 6.
svn path=/nixpkgs/trunk/; revision=34261
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions