Vincent Laporte
|
0c8235e4ac
|
ocamlPackages.ocamlnet: 4.1.4 -> 4.1.5
|
2017-12-06 20:39:13 +00:00 |
|
Vladimír Čunát
|
d477bc353c
|
ocamlnet: fixup build by bringing back nettle-3.3
|
2017-11-30 12:28:35 +01:00 |
|
John Ericson
|
531e4b80c9
|
misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
Only acts on one-line dependency lists.
|
2017-09-21 15:49:53 -04:00 |
|
Vincent Laporte
|
b744ee2d93
|
ocamlPackages.ocamlnet: 4.1.{2,3} -> 4.1.4
|
2017-08-20 04:39:14 +00:00 |
|
Vincent Laporte
|
e60ffe642e
|
ocamlPackages.ocamlnet: 4.1.2 -> 4.1.3
|
2017-08-08 16:49:19 +00:00 |
|
Vincent Laporte
|
53bd6cf417
|
ocamlPackages.ocamlnet: mark as broken with OCaml ≥ 4.05
|
2017-08-04 16:15:03 +00:00 |
|
Vincent Laporte
|
4e6efdd601
|
ocamlnet: 4.1.1 -> 4.1.2
|
2016-10-10 19:19:13 +02:00 |
|
Kirill Boltaev
|
3e646865f4
|
treewide: use ocaml.version (#19192)
|
2016-10-05 09:32:30 +02:00 |
|
vbgl
|
0a4e806f8f
|
ocamlnet: 3.7.7 -> 4.1.1 (#16008)
|
2016-06-08 16:40:08 +01:00 |
|
Nicolas B. Pierron
|
72c6f8a140
|
Ensure that we can evaluate the platform attribute of ocaml packages.
|
2016-03-13 19:08:26 +00:00 |
|
Vincent Laporte
|
2f38372f73
|
ocamlnet: update from 3.7.6 to 3.7.7
|
2014-11-08 07:19:40 +00:00 |
|
Vincent Laporte
|
5e4cf92121
|
ocamlnet: update 3.7.3 -> 3.7.6
Closes #4216
|
2014-09-27 01:09:53 +01:00 |
|
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 |
|