|
default.nix
|
camlzip: 1.05 -> 1.06 (#16443)
|
2016-07-07 15:29:13 +02:00 |
|
makefile_1_05.patch
|
camlzip: 1.05 -> 1.06 (#16443)
|
2016-07-07 15:29:13 +02:00 |
|
makefile_1_06.patch
|
camlzip: 1.05 -> 1.06 (#16443)
|
2016-07-07 15:29:13 +02:00 |
|
META
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +00:00 |
