summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2016-06-12gnu: unison: Install unison-fsmonitor....Orivej Desh
2016-05-26gnu: Rename texlive module to tex....Roel Janssen
2016-05-24gnu: Use 'emacs-minimal' instead of 'emacs-no-x'....Alex Kost
2016-05-02gnu: ocaml: Fix CVE-2015-8869....Leo Famulari
2016-04-14gnu: packages: Use 'search-patches' everywhere....Alex Kost
2016-02-13gnu: lablgtk: Build cmxa libraries....Jan Nieuwenhuizen
2016-02-13gnu: ocaml: Set search path....Jan Nieuwenhuizen
2016-02-13gnu: Add ocaml-findlib....Jan Nieuwenhuizen
2016-01-17gnu: hevea: Update to 2.28....Eric Bavier
2016-01-17gnu: unison: Add "doc" output....Eric Bavier
2015-12-25gnu: hevea: Update URL....Leo Famulari
2015-11-09gnu: Add gtksourceview....David Hashe
2015-10-31gnu: lablgtk: Build sequentially....Ludovic Courtès
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