Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | upgraded camlzip to version 1.05 to allow compilation with ocaml-4.00.1 | Christophe Raffalli | 2013-06-07 |
| | |||
* | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |
| | | | | svn path=/nixpkgs/trunk/; revision=25328 | ||
* | * Add variable createFindlibDestdir to the setupHook of findlib | Marco Maggesi | 2010-12-21 |
| | | | | | | * Set createFindlibDestdir to various ocaml packages. svn path=/nixpkgs/trunk/; revision=25220 | ||
* | * Fix installation of camlzip | Marco Maggesi | 2010-12-12 |
| | | | | svn path=/nixpkgs/trunk/; revision=25071 | ||
* | * take camlzip META file from GODI | Marco Maggesi | 2010-12-12 |
| | | | | svn path=/nixpkgs/trunk/; revision=25069 | ||
* | * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ↵ | Marco Maggesi | 2010-12-11 |
| | | | | | | cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl svn path=/nixpkgs/trunk/; revision=25064 | ||
* | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ↵ | Marco Maggesi | 2010-12-09 |
camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react svn path=/nixpkgs/trunk/; revision=25041 |