Age | Commit message (Expand) | Author |
---|---|---|
2011-07-22 | Oops | Marco Maggesi |
2011-07-22 | Update OCaml Batteries to 1.4.0 | Marco Maggesi |
2011-05-25 | ocaml batteries: https --> http | Marco Maggesi |
2011-05-24 | ocaml batteries: fix download url | Marco Maggesi |
2011-05-24 | Update ocaml_batteries and camomile (ocamlPackages) | Marco Maggesi |
2010-12-31 | Matita and its dependencies. | Russell O'Connor |
2010-12-21 | * Remove useless code put by error in camomile | Marco Maggesi |
2010-12-21 | * Add variable createFindlibDestdir to the setupHook of findlib | Marco Maggesi |
2010-12-12 | * Add ocamlnet | Marco Maggesi |
2010-12-12 | * Fix installation of camlzip | Marco Maggesi |
2010-12-12 | * take camlzip META file from GODI | Marco Maggesi |
2010-12-11 | * Add ocaml-sqlite3 | Marco Maggesi |
2010-12-11 | * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ... | Marco Maggesi |
2010-12-09 | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca... | Marco Maggesi |