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