Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-12-31 | Matita and its dependencies. | Russell O'Connor | 16 | -2/+502 |
2010-12-21 | * Remove useless code put by error in camomile | Marco Maggesi | 1 | -4/+0 |
2010-12-21 | * Add variable createFindlibDestdir to the setupHook of findlib | Marco Maggesi | 9 | -2/+20 |
2010-12-12 | * Add ocamlnet | Marco Maggesi | 1 | -0/+43 |
2010-12-12 | * Fix installation of camlzip | Marco Maggesi | 3 | -27/+43 |
2010-12-12 | * take camlzip META file from GODI | Marco Maggesi | 1 | -21/+5 |
2010-12-11 | * Add ocaml-sqlite3 | Marco Maggesi | 1 | -0/+35 |
2010-12-11 | * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ... | Marco Maggesi | 12 | -0/+48 |
2010-12-09 | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca... | Marco Maggesi | 16 | -0/+478 |