Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
Pavan Rikhi
|
56ea7c4128
|
matita_130312: mark as broken
|
2015-01-07 02:15:26 -05:00 |
|
Mateusz Kowalczyk
|
7a45996233
|
Turn some license strings into lib.licenses values
|
2014-07-28 11:31:14 +02:00 |
|
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 |
|