| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |
| * | * 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-21 |
| * | * 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-12 |
| * | * Add ocaml-sqlite3 | Marco Maggesi | 2010-12-11 |
| * | * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ... | Marco Maggesi | 2010-12-11 |
| * | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca... | Marco Maggesi | 2010-12-09 |