aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Expand)AuthorAge
* gnu: Add ocaml-zarith.Julien Lepiller2017-01-04
* gnu: Add ocamlmod.Julien Lepiller2017-01-04
* gnu: Add camlzip.Julien Lepiller2017-01-04
* gnu: Add ocaml-ounit.Julien Lepiller2017-01-04
* gnu: camlp4: Install camlp4 META file.Julien Lepiller2017-01-04
* gnu: ocaml: Use a helper function to download from ocaml-forge.Julien Lepiller2017-01-04
* gnu: Add ocaml-build-system.Julien Lepiller2017-01-04
* gnu: camlp4: Compile native version.Julien Lepiller2017-01-04
* gnu: ocaml: Fix indentation.David Craven2017-01-04
* gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.Julien Lepiller2017-01-04
* gnu: ocaml: Add a .file directive to generated .s files.Julien Lepiller2017-01-04
* gnu: Reorder imports in (gnu packages ocaml).David Craven2017-01-04
* gnu: Use 'license:' prefix in (gnu packages ocaml).David Craven2017-01-04
* gnu: coq: Build coqideJulien Lepiller2016-12-21
* gnu: lablgtk: use ocamlfind in installationJulien Lepiller2016-12-21
* gnu: lablgtk: Update to 2.18.5Julien Lepiller2016-12-21
* gnu: Add ocaml-menhir.David Craven2016-12-10
* gnu: coq: Update to 8.5pl2.David Craven2016-12-10
* Merge branch 'master' into core-updatesLudovic Courtès2016-09-30
|\
| * doc: "filesystem" -> "file system"John Darrington2016-09-16
* | gnu: Use ghostscript over ghostscript-gs.Efraim Flashner2016-09-02
|/
* gnu: opam: Upgrade to 1.2.2.Eric Bavier2016-08-22
* gnu: opam: Use modify-phases.Eric Bavier2016-08-22
* gnu: unison: Add input ghostscript.Andreas Enge2016-08-01
* gnu: Use 'ghostscript-gs' in packages that need the 'gs' command.Ludovic Courtès2016-07-25
* gnu: unison: Install unison-fsmonitor.Orivej Desh2016-06-12
* gnu: Rename texlive module to tex.Roel Janssen2016-05-26
* gnu: Use 'emacs-minimal' instead of 'emacs-no-x'.Alex Kost2016-05-24
* gnu: ocaml: Fix CVE-2015-8869.Leo Famulari2016-05-02
* gnu: packages: Use 'search-patches' everywhere.Alex Kost2016-04-14
* gnu: lablgtk: Build cmxa libraries.Jan Nieuwenhuizen2016-02-13
* gnu: ocaml: Set search path.Jan Nieuwenhuizen2016-02-13
* gnu: Add ocaml-findlib.Jan Nieuwenhuizen2016-02-13
* gnu: hevea: Update to 2.28.Eric Bavier2016-01-17
* gnu: unison: Add "doc" output.Eric Bavier2016-01-17
* gnu: hevea: Update URL.Leo Famulari2015-12-25
* gnu: Add gtksourceview.David Hashe2015-11-09
* gnu: lablgtk: Build sequentially.Ludovic Courtès2015-10-31
* 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