summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules
AgeCommit message (Expand)AuthorFilesLines
2011-07-22OopsMarco Maggesi1-1/+1
2011-07-22Update OCaml Batteries to 1.4.0Marco Maggesi1-8/+3
2011-05-25ocaml batteries: https --> httpMarco Maggesi1-1/+1
2011-05-24ocaml batteries: fix download urlMarco Maggesi1-3/+2
2011-05-24Update ocaml_batteries and camomile (ocamlPackages)Marco Maggesi3-6/+20
2010-12-31Matita and its dependencies.Russell O'Connor16-2/+502
2010-12-21* Remove useless code put by error in camomileMarco Maggesi1-4/+0
2010-12-21* Add variable createFindlibDestdir to the setupHook of findlibMarco Maggesi9-2/+20
2010-12-12* Add ocamlnetMarco Maggesi1-0/+43
2010-12-12* Fix installation of camlzipMarco Maggesi3-27/+43
2010-12-12* take camlzip META file from GODIMarco Maggesi1-21/+5
2010-12-11* Add ocaml-sqlite3Marco Maggesi1-0/+35
2010-12-11* Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ...Marco Maggesi12-0/+48
2010-12-09* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca...Marco Maggesi16-0/+478
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 01:12:27 +0000