Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-12-16 | Update ocaml-findlib to version 1.2.7 | Marco Maggesi | 1 | -4/+3 |
2011-11-26 | Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor). | Marco Maggesi | 2 | -2/+53 |
2011-10-04 | New package for CamlIDL 1.05 | Russell O'Connor | 1 | -0/+32 |
2010-12-23 | * Handle variable createFindlibDestdir correctly in ocaml-findlib | Marco Maggesi | 1 | -1/+1 |
2010-12-21 | * Add variable createFindlibDestdir to the setupHook of findlib | Marco Maggesi | 1 | -0/+3 |
2010-12-21 | * Remove the automatic creation of a directory from the setupHook of findlib ... | Marco Maggesi | 1 | -1/+0 |
2010-12-20 | * Update camlp5 | Marco Maggesi | 2 | -3/+106 |
2010-12-20 | * Add findlib to hydra | Marco Maggesi | 1 | -0/+4 |
2010-12-09 | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca... | Marco Maggesi | 2 | -0/+62 |
2010-05-27 | omake: version 0.9.8.5 | David Guibert | 3 | -0/+70 |
2009-11-02 | Updated Coq to version 8.2pl1 | Marco Maggesi | 1 | -1/+1 |
2009-11-02 | Added camlp5 the preprocessor-pretty-printer for OCaml | Marco Maggesi | 1 | -0/+35 |