mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-01 01:51:24 +00:00
Code Issues Wiki Activity
153610 commits 268 branches 125 tags 5.4 GiB
Commit graph

4 commits

Author SHA1 Message Date
Russell O'Connor 88ec92d14c Matita and its dependencies. 
svn path=/nixpkgs/trunk/; revision=25328
 2010-12-31 17:48:55 +00:00
Marco Maggesi eaf8b73517 * Fix installation of camlzip 
svn path=/nixpkgs/trunk/; revision=25071
 2010-12-12 17:45:57 +00:00
Marco Maggesi 0b701b824b * take camlzip META file from GODI 
svn path=/nixpkgs/trunk/; revision=25069
 2010-12-12 16:09:52 +00:00
Marco Maggesi ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react 
svn path=/nixpkgs/trunk/; revision=25041
 2010-12-09 15:40:04 +00:00