nixpkgs/pkgs/development/ocaml-modules
Russell O'Connor 88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00
..
batteries * 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
camlzip Matita and its dependencies. 2010-12-31 17:48:55 +00:00
camomile * Remove useless code put by error in camomile 2010-12-21 09:43: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