nixpkgs/pkgs/applications/science/logic/ssreflect
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