Marco Maggesi
|
e2b159dabe
|
ocaml batteries: https --> http
svn path=/nixpkgs/trunk/; revision=27303
|
2011-05-25 09:27:50 +00:00 |
|
Marco Maggesi
|
e8466deeff
|
ocaml batteries: fix download url
svn path=/nixpkgs/trunk/; revision=27300
|
2011-05-24 20:40:55 +00:00 |
|
Marco Maggesi
|
5b730d301c
|
Update ocaml_batteries and camomile (ocamlPackages)
* Add camomile 0.8.3 and 0.8.2 (for ocaml_batteries).
* Remove obsolete camomile 0.7.3 and 0.8.1.
* Update ocaml_batteries to version 1.3.0 (also add fixes for Darwin).
svn path=/nixpkgs/trunk/; revision=27299
|
2011-05-24 18:21:13 +00: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
|
5e13810a01
|
* Remove useless code put by error in camomile
svn path=/nixpkgs/trunk/; revision=25221
|
2010-12-21 09:43:13 +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
|
f3eb5769ca
|
* Add ocamlnet
svn path=/nixpkgs/trunk/; revision=25072
|
2010-12-12 17:53:13 +00:00 |
|
Marco Maggesi
|
eaf8b73517
|
* Fix installation of camlzip
svn path=/nixpkgs/trunk/; revision=25071
|
2010-12-12 17:45:57 +00:00 |
|
Marco Maggesi
|
0b701b824b
|
* take camlzip META file from GODI
svn path=/nixpkgs/trunk/; revision=25069
|
2010-12-12 16:09:52 +00:00 |
|
Marco Maggesi
|
ba8bc4dd33
|
* Add ocaml-sqlite3
svn path=/nixpkgs/trunk/; revision=25065
|
2010-12-11 15:05:26 +00:00 |
|
Marco Maggesi
|
e1bbcecbaf
|
* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl
svn path=/nixpkgs/trunk/; revision=25064
|
2010-12-11 14:50:45 +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 |
|