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