Marco Maggesi
|
82fabd6262
|
Update ocaml-findlib to version 1.2.7
svn path=/nixpkgs/trunk/; revision=30925
|
2011-12-16 09:22:31 +00:00 |
|
Marco Maggesi
|
8d4b5bcd0c
|
Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor).
Keep the old version 5.15 to allow a smooth migration.
svn path=/nixpkgs/trunk/; revision=30575
|
2011-11-26 19:39:14 +00:00 |
|
Russell O'Connor
|
8c40562197
|
New package for CamlIDL 1.05
svn path=/nixpkgs/trunk/; revision=29619
|
2011-10-04 01:40:45 +00:00 |
|
Marco Maggesi
|
51d6c8df91
|
* Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation
svn path=/nixpkgs/trunk/; revision=25269
|
2010-12-23 19:28:06 +00:00 |
|
Marco Maggesi
|
eb33e01ac7
|
* Add variable createFindlibDestdir to the setupHook of findlib
* Set createFindlibDestdir to various ocaml packages.
svn path=/nixpkgs/trunk/; revision=25220
|
2010-12-21 09:37:35 +00:00 |
|
Marco Maggesi
|
2c85e4b96f
|
* Remove the automatic creation of a directory from the setupHook of findlib since this can silently produce empty paths in derivations
svn path=/nixpkgs/trunk/; revision=25219
|
2010-12-21 08:33:37 +00:00 |
|
Marco Maggesi
|
e7accaf8d3
|
* Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
|
2010-12-20 10:32:22 +00:00 |
|
Marco Maggesi
|
d3f00b9cf5
|
* Add findlib to hydra
svn path=/nixpkgs/trunk/; revision=25205
|
2010-12-20 09:53:41 +00:00 |
|
Marco Maggesi
|
ac457478e3
|
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
|
2010-12-09 15:40:04 +00:00 |
|
David Guibert
|
b0859969a5
|
omake: version 0.9.8.5
svn path=/nixpkgs/trunk/; revision=22019
|
2010-05-27 19:44:03 +00:00 |
|
Marco Maggesi
|
a0207b3dc7
|
Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
|
2009-11-02 11:44:27 +00:00 |
|
Marco Maggesi
|
c4533b8d24
|
Added camlp5 the preprocessor-pretty-printer for OCaml
svn path=/nixpkgs/trunk/; revision=18068
|
2009-11-02 10:47:24 +00:00 |
|