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 |
|