Marco Maggesi 0ff3dd24ad Fix hash change of ocaml-pcre sources ... svn path=/nixpkgs/trunk/; revision=34260		2012-05-28 14:14:35 +00:00
..
batteries	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +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	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
expat	Matita and its dependencies.	2010-12-31 17:48:55 +00:00
extlib	Fix of the ocaml extlib expression. The native object files were not installed. Turns out that also the 'opt' make target must be run besides 'all'.	2012-03-22 10:32:32 +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	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
lwt
menhir	* Added "easytag", a GUI for organizing id3tags in mp3s.	2012-04-09 09:42:20 +00:00
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
ocamlmake	OCamlMakefile update.	2012-02-29 12:51:06 +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	Fix hash change of ocaml-pcre sources	2012-05-28 14:14:35 +00:00
pycaml	* Added "easytag", a GUI for organizing id3tags in mp3s.	2012-04-09 09:42:20 +00:00
react
sexplib	* Added "easytag", a GUI for organizing id3tags in mp3s.	2012-04-09 09:42:20 +00:00
sqlite3	Updating hash for ocaml_sqlite3	2012-03-25 21:24:23 +00:00
ssl
typeconv	* Added "easytag", a GUI for organizing id3tags in mp3s.	2012-04-09 09:42:20 +00:00
ulex	Add OPA to Nixpkgs.	2011-11-27 23:58:46 +00:00