jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
a670a7aca1
nixpkgs/pkgs/applications/science/logic/ssreflect
History
Russell O'Connor bec1a9c44f update coq to 8.3pl1 
update ssreflect to 1.3pl1

svn path=/nixpkgs/trunk/; revision=26692
2011-04-05 11:59:25 +00:00
..
default.nix update coq to 8.3pl1 2011-04-05 11:59:25 +00:00