3 commits

Author	SHA1	Message	Date
Marco Maggesi	a090424115	Update ocamlnet to version 3.6. (Does not compile under 4.00.0 though.)	2012-10-09 14:03:12 -04:00
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