build: container: Add #:host-uids argument to call-with-container.
[jackhill/guix/guix.git] / gnu / packages / ocaml.scm
2015-07-21 Ludovic Courtèsgnu: Add Camlp4.
2015-07-19 Mark H WeaverMerge branch 'master' into core-updates
2015-07-18 Alex Kostgnu packages: Clean up synopses and descriptions.
2015-06-21 Mark H WeaverMerge branch 'master' into core-updates
2015-06-18 Mark H WeaverMerge branch 'master' into core-updates
2015-06-18 Mark H Weavergnu: ocaml: Update gcc:lib input to gcc-4.9.
2015-06-18 Mark H WeaverMerge branch 'master' into core-updates
2015-06-17 Ludovic Courtèsgnu: ocaml: Don't rely on (gnu packages commencement).
2015-06-10 Mark H WeaverMerge branch 'master' into core-updates
2015-06-09 Mark H Weavergnu: Add proof-general.
2015-06-05 Mark H Weavergnu: Add coq.
2015-06-05 Mark H Weavergnu: Add hevea.
2015-06-05 Mark H Weavergnu: Add camlp5.
2015-06-05 Mark H Weavergnu: ocaml: Update to 4.02.1.
2014-10-26 Eric Baviergnu: Some cleanup based on lint checkers.
2014-09-22 Ludovic CourtèsMerge branch 'core-updates'
2014-09-15 Ludovic Courtèsgnu: Add OPAM.
2014-04-02 Mark H Weavergnu: ocaml: Install man pages in share/man.
2013-01-23 Cyril Roelandtgnu: Add OCaml. licenses: Add QPL.