nixpkgs/pkgs/development/ocaml-modules
Marco Maggesi 6cf6d40534 Update OCaml sqlite3
svn path=/nixpkgs/trunk/; revision=34312
2012-06-01 09:42:29 +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 * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
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 Update download link for pcre-ocaml 2012-06-01 06:08:29 +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 Update OCaml sqlite3 2012-06-01 09:42:29 +00:00
ssl * Add variable createFindlibDestdir to the setupHook of findlib 2010-12-21 09:37:35 +00:00
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