nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-26 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
0d38f21c73
nixpkgs/pkgs/applications/science/logic/ssreflect
History
Marco Maggesi c713b0ed67 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.


svn path=/nixpkgs/trunk/; revision=18145
2009-11-05 15:08:12 +00:00
..
default.nix Preliminary version of package ssreflect 2009-11-05 15:08:12 +00:00