summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2015-10-08Correct "Revert "gnu: camlp4: Remove extra input.""Efraim Flashner
2015-10-08Revert "gnu: camlp4: Remove extra input."Efraim Flashner
2015-10-07gnu: camlp4: Remove extra input.Efraim Flashner
2015-08-23gnu: Add LablGtk.Andreas Enge
2015-08-23gnu: camlp4: Update to 4.02+6.Andreas Enge
2015-08-23gnu: camlp5: Update to 6.14.Andreas Enge
2015-08-23gnu: Add unison.Andreas Enge
2015-08-23gnu: ocaml: Update to 4.02.3.Andreas Enge
2015-07-21gnu: Add Camlp4.Ludovic Courtès
2015-07-18gnu packages: Clean up synopses and descriptions.Alex Kost
2015-06-18gnu: ocaml: Update gcc:lib input to gcc-4.9.Mark H Weaver
2015-06-18gnu: ocaml: Don't rely on (gnu packages commencement).Ludovic Courtès
2015-06-08gnu: Add proof-general.Mark H Weaver
2015-06-05gnu: Add coq.Mark H Weaver
2015-06-05gnu: Add hevea.Mark H Weaver
2015-06-05gnu: Add camlp5.Mark H Weaver
2015-06-05gnu: ocaml: Update to 4.02.1.Mark H Weaver
2014-10-26gnu: Some cleanup based on lint checkers.Eric Bavier
2014-09-15gnu: Add OPAM.Ludovic Courtès
2014-04-02gnu: ocaml: Install man pages in share/man.Mark H Weaver
2013-01-24gnu: Add OCaml. licenses: Add QPL.Cyril Roelandt
generated by cgit v1.2.3 (git 2.44.0) at 2024-07-02 00:46:14 +0000