5 Commits

Author	SHA1	Message	Date
Marco Maggesi	42b070527c	Update ocamlnet to version 3.7.3 ... Also remove dependency to lablgkt which is not used and prevent building on darwin.	2014-03-20 14:54:54 +01:00
Christophe Raffalli	43faad8063	Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like nethttp	2013-06-07 21:40:38 +02:00
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