3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/ocaml-modules
Marco Maggesi e2b159dabe ocaml batteries: https --> http
svn path=/nixpkgs/trunk/; revision=27303
2011-05-25 09:27:50 +00:00
..
batteries ocaml batteries: https --> http 2011-05-25 09:27:50 +00:00
camlzip Matita and its dependencies. 2010-12-31 17:48:55 +00:00
camomile Update ocaml_batteries and camomile (ocamlPackages) 2011-05-24 18:21:13 +00:00
cryptgps * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
cryptokit * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl 2010-12-11 14:50:45 +00:00
expat Matita and its dependencies. 2010-12-31 17:48:55 +00:00
gmetadom Matita and its dependencies. 2010-12-31 17:48:55 +00:00
http Matita and its dependencies. 2010-12-31 17:48:55 +00:00
lablgtk Matita and its dependencies. 2010-12-31 17:48:55 +00:00
lablgtkmathview Matita and its dependencies. 2010-12-31 17:48:55 +00:00
lwt * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl 2010-12-11 14:50:45 +00:00
menhir * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
mysql Matita and its dependencies. 2010-12-31 17:48:55 +00:00
ocamlnet Matita and its dependencies. 2010-12-31 17:48:55 +00:00
ounit * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
pcre * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
react * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl 2010-12-11 14:50:45 +00:00
sqlite3 * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
ssl * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
ulex Matita and its dependencies. 2010-12-31 17:48:55 +00:00