| commit | 28766c5af278c35c6b47a00fa5c587da78770a2b | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 5 Nov 2009 15:08:12 +0000 (5 15:08 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Thu, 5 Nov 2009 15:08:12 +0000 (5 15:08 +0000) | ||
| tree | 2fb0c6e1b6b0bcbe4613f02819aa4678bcddc390 | treesnapshot (tar.gz zip) |
| parent | e2b3bf020e4ed242385fd13655fcf7e5387e85e1 | commitdiff |
Preliminary version of package ssreflect
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18145 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18145 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/science/logic/ssreflect/default.nix | [new file with mode: 0644] | blob |
| pkgs/top-level/all-packages.nix | diffblobblamehistory |