summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2017-01-04gnu: Add ocaml-ounit.Julien Lepiller
2017-01-04gnu: camlp4: Install camlp4 META file.Julien Lepiller
2017-01-04gnu: ocaml: Use a helper function to download from ocaml-forge.Julien Lepiller
2017-01-04gnu: Add ocaml-build-system.Julien Lepiller
2017-01-04gnu: camlp4: Compile native version.Julien Lepiller
2017-01-04gnu: ocaml: Fix indentation.David Craven
2017-01-04gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.Julien Lepiller
2017-01-04gnu: ocaml: Add a .file directive to generated .s files.Julien Lepiller
2017-01-04gnu: Reorder imports in (gnu packages ocaml).David Craven
2017-01-04gnu: Use 'license:' prefix in (gnu packages ocaml).David Craven
2016-12-21gnu: coq: Build coqideJulien Lepiller
2016-12-21gnu: lablgtk: use ocamlfind in installationJulien Lepiller
2016-12-21gnu: lablgtk: Update to 2.18.5Julien Lepiller
2016-12-10gnu: Add ocaml-menhir.David Craven
2016-12-10gnu: coq: Update to 8.5pl2.David Craven
2016-09-30Merge branch 'master' into core-updatesLudovic Courtès
2016-09-16doc: "filesystem" -> "file system"John Darrington
2016-09-02gnu: Use ghostscript over ghostscript-gs.Efraim Flashner
2016-08-22gnu: opam: Upgrade to 1.2.2.Eric Bavier
2016-08-22gnu: opam: Use modify-phases.Eric Bavier
2016-08-01gnu: unison: Add input ghostscript.Andreas Enge
2016-07-25gnu: Use 'ghostscript-gs' in packages that need the 'gs' command.Ludovic Courtès
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
generated by cgit v1.2.3 (git 2.45.2) at 2025-05-04 11:34:21 +0000