4 commits

Author	SHA1	Message	Date
Russell O'Connor	88ec92d14c	Matita and its dependencies. ... svn path=/nixpkgs/trunk/; revision=25328	2010-12-31 17:48:55 +00:00
Marco Maggesi	eaf8b73517	* Fix installation of camlzip ... svn path=/nixpkgs/trunk/; revision=25071	2010-12-12 17:45:57 +00:00
Marco Maggesi	0b701b824b	* take camlzip META file from GODI ... svn path=/nixpkgs/trunk/; revision=25069	2010-12-12 16:09:52 +00:00
Marco Maggesi	ac457478e3	* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react ... svn path=/nixpkgs/trunk/; revision=25041	2010-12-09 15:40:04 +00:00