2 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	f3eb5769ca	* Add ocamlnet ... svn path=/nixpkgs/trunk/; revision=25072	2010-12-12 17:53:13 +00:00