Tuomas Tynkkynen ed7dbb46a8 treewide: Mass replace 'zlib}/lib' to refer the 'out' output		2016-01-24 10:03:39 +02:00
..
default.nix	treewide: Mass replace 'zlib}/lib' to refer the 'out' output	2016-01-24 10:03:39 +02:00
makefile.patch	* Fix installation of camlzip	2010-12-12 17:45:57 +00:00
META	Matita and its dependencies.	2010-12-31 17:48:55 +00:00