| commit | c8bdb723d20294f435109a7ad0e849499a12eb94 | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 5 Aug 2010 18:44:42 +0000 (5 18:44 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 5 Aug 2010 18:44:42 +0000 (5 18:44 +0000) | ||
| tree | 5b035aa851b94d17fc3393a5bbd868be71c173b2 | treesnapshot (tar.gz zip) |
| parent | bd8a20e42e516a538a1b8c81fccb182b12bf35bf | commitdiff |
Update Coq to version 8.2pl2 (patch by roconnor)
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@22971 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@22971 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/science/logic/coq/default.nix | diffblobblamehistory |