public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
35,799 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

2 Commits

Author SHA1 Message Date
Russell O'Connor ec5dda12d2 Reparing stable build of Matita. 
Also correcting the version and simplifying the prerelease package of Matita.


svn path=/nixpkgs/trunk/; revision=33420
 2012-03-25 21:27:30 +00:00
Russell O'Connor 510308e039 Adding a package for a preview release of Matita. 
svn path=/nixpkgs/trunk/; revision=33418
 2012-03-25 20:43:00 +00:00