philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
20010 commits 3 branches 0 tags 1.4 GiB
Commit graph

1 commit

Author SHA1 Message Date
Russell O'Connor
cfc8538326 Updating coq and ssreflect to patch level 4. 
svn path=/nixpkgs/trunk/; revision=34146
 2012-05-16 22:04:02 +00:00