..
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
* 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
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 of the ocaml pcre nix expr. Added 'pcre' as propagated build input.
2012-03-22 10:31:10 +00:00
pycaml
OCamlMakefile update.
2012-02-29 12:51:06 +00:00
react
sexplib
Updated the coccinelle package to the latest release (1.0.0-RC9).
2012-01-16 10:20:13 +00:00
sqlite3
Updating hash for ocaml_sqlite3
2012-03-25 21:24:23 +00:00
ssl
* Add variable createFindlibDestdir to the setupHook of findlib
2010-12-21 09:37:35 +00:00
typeconv
Updated the coccinelle package to the latest release (1.0.0-RC9).
2012-01-16 10:20:13 +00:00
ulex
Add OPA to Nixpkgs.
2011-11-27 23:58:46 +00:00