Matthew Maurer b4716ea7a2 camlzip: 1.06 -> 1.07 ... Fixes bug with modern zlib and large files		2017-03-29 06:12:59 +00:00
..
default.nix	camlzip: 1.06 -> 1.07	2017-03-29 06:12:59 +00:00
makefile_1_05.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