summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Expand)AuthorAge
* Correct "Revert "gnu: camlp4: Remove extra input.""Efraim Flashner2015-10-08
* Revert "gnu: camlp4: Remove extra input."Efraim Flashner2015-10-08
* gnu: camlp4: Remove extra input.Efraim Flashner2015-10-07
* gnu: Add LablGtk.Andreas Enge2015-08-23
* gnu: camlp4: Update to 4.02+6.Andreas Enge2015-08-23
* gnu: camlp5: Update to 6.14.Andreas Enge2015-08-23
* gnu: Add unison.Andreas Enge2015-08-23
* gnu: ocaml: Update to 4.02.3.Andreas Enge2015-08-23
* gnu: Add Camlp4.Ludovic Courtès2015-07-21
* gnu packages: Clean up synopses and descriptions.Alex Kost2015-07-18
* gnu: ocaml: Update gcc:lib input to gcc-4.9.Mark H Weaver2015-06-18
* gnu: ocaml: Don't rely on (gnu packages commencement).Ludovic Courtès2015-06-18
* gnu: Add proof-general.Mark H Weaver2015-06-08
* gnu: Add coq.Mark H Weaver2015-06-05
* gnu: Add hevea.Mark H Weaver2015-06-05
* gnu: Add camlp5.Mark H Weaver2015-06-05
* gnu: ocaml: Update to 4.02.1.Mark H Weaver2015-06-05
* gnu: Some cleanup based on lint checkers.Eric Bavier2014-10-26
* gnu: Add OPAM.Ludovic Courtès2014-09-15
* gnu: ocaml: Install man pages in share/man.Mark H Weaver2014-04-02
* gnu: Add OCaml. licenses: Add QPL.Cyril Roelandt2013-01-24