Arie Middelkoop 3b833cc93b Minor-version bump of ocaml-batteries. ... The previous version did not compile with ocaml>=3.12, and this version is also backwards compatible with 3.11. svn path=/nixpkgs/trunk/; revision=31578		2012-01-16 10:17:02 +00:00
..
batteries	Minor-version bump of ocaml-batteries.	2012-01-16 10:17:02 +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
cryptokit	Add OPA to Nixpkgs.	2011-11-27 23:58:46 +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
menhir
mysql	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
ocamlgraph	Add OPA to Nixpkgs.	2011-11-27 23:58:46 +00:00
ocamlnat	Add ocamlnat (native toplevel for OCaml)	2011-12-16 09:35:13 +00:00
ocamlnet	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
ounit	Update OUnit to version 1.1.0	2011-12-16 09:13:47 +00:00
pcre
react
sqlite3
ssl
ulex	Add OPA to Nixpkgs.	2011-11-27 23:58:46 +00:00