gnu: Add ocaml-bisect.
[jackhill/guix/guix.git] / gnu / packages / ocaml.scm
2017-01-04 Julien Lepillergnu: Add ocaml-bisect.
2017-01-04 Julien Lepillergnu: Add ocaml-stringext.
2017-01-04 Julien Lepillergnu: Add ocaml-qtest.
2017-01-04 Julien Lepillergnu: Add ocaml-frontc.
2017-01-04 Julien Lepillergnu: Add ocaml-zarith.
2017-01-04 Julien Lepillergnu: Add ocamlmod.
2017-01-04 Julien Lepillergnu: Add camlzip.
2017-01-04 Julien Lepillergnu: Add ocaml-ounit.
2017-01-04 Julien Lepillergnu: camlp4: Install camlp4 META file.
2017-01-04 Julien Lepillergnu: ocaml: Use a helper function to download from...
2017-01-04 Julien Lepillergnu: Add ocaml-build-system.
2017-01-04 Julien Lepillergnu: camlp4: Compile native version.
2017-01-04 David Cravengnu: ocaml: Fix indentation.
2017-01-04 Julien Lepillergnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.
2017-01-04 Julien Lepillergnu: ocaml: Add a .file directive to generated .s files.
2017-01-04 David Cravengnu: Reorder imports in (gnu packages ocaml).
2017-01-04 David Cravengnu: Use 'license:' prefix in (gnu packages ocaml).
2016-12-21 Ricardo WurmusMerge branch 'version-0.12.0'
2016-12-21 Julien Lepillergnu: coq: Build coqide
2016-12-21 Julien Lepillergnu: lablgtk: use ocamlfind in installation
2016-12-21 Julien Lepillergnu: lablgtk: Update to 2.18.5
2016-12-11 Mark H WeaverMerge branch 'master' into staging
2016-12-10 David Cravengnu: Add ocaml-menhir.
2016-12-10 David Cravengnu: coq: Update to 8.5pl2.
2016-11-12 Ludovic CourtèsMerge branch 'core-updates'
2016-11-07 Mark H WeaverMerge branch 'master' into core-updates
2016-11-06 Mark H WeaverMerge branch 'master' into core-updates
2016-11-03 Leo FamulariMerge branch 'master' into core-updates
2016-10-30 Leo FamulariMerge branch 'master' into core-updates
2016-10-30 Leo FamulariMerge branch 'master' into core-updates
2016-10-30 Leo FamulariMerge branch 'master' into core-updates
2016-10-28 Leo FamulariMerge branch 'master' into core-updates
2016-10-28 Leo FamulariMerge branch 'master' into core-updates
2016-10-28 Mark H WeaverMerge branch 'master' into core-updates
2016-10-26 Leo FamulariMerge branch 'master' into core-updates
2016-10-23 Mark H WeaverMerge branch 'master' into core-updates
2016-10-19 Mark H WeaverMerge branch 'master' into core-updates
2016-10-17 Mark H WeaverMerge branch 'master' into core-updates
2016-10-13 Mark H WeaverMerge branch 'master' into core-updates
2016-10-12 Leo FamulariMerge branch 'master' into core-updates
2016-10-12 Mark H WeaverMerge branch 'master' into core-updates
2016-10-05 Leo FamulariMerge branch 'master' into core-updates
2016-10-03 Leo FamulariMerge branch 'master' into core-updates
2016-09-30 Ludovic CourtèsMerge branch 'master' into core-updates
2016-09-16 John Darringtondoc: "filesystem" -> "file system"
2016-09-02 Leo FamulariMerge branch 'master' into core-updates
2016-09-02 Ludovic CourtèsMerge branch 'master' into core-updates
2016-09-02 Efraim Flashnergnu: Use ghostscript over ghostscript-gs.
2016-08-29 Efraim FlashnerMerge remote-tracking branch 'origin/master' into core...
2016-08-23 Eric Baviergnu: opam: Upgrade to 1.2.2.
2016-08-23 Eric Baviergnu: opam: Use modify-phases.
2016-08-04 Mark H WeaverMerge branch 'core-updates'
2016-08-04 Mark H WeaverRevert "Merge branch 'core-updates'"
2016-08-01 Ludovic CourtèsMerge branch 'core-updates'
2016-08-01 Andreas Engegnu: unison: Add input ghostscript.
2016-08-01 Mark H WeaverMerge branch 'master' into core-updates
2016-07-29 Mark H WeaverMerge branch 'master' into core-updates
2016-07-29 Mark H WeaverMerge branch 'master' into core-updates
2016-07-28 Leo FamulariMerge branch 'master' into core-updates
2016-07-28 Mark H WeaverMerge branch 'master' into core-updates
2016-07-28 Andreas EngeMerge remote-tracking branch 'origin/master' into core...
2016-07-25 Andreas EngeMerge remote-tracking branch 'origin/master' into core...
2016-07-25 Ludovic Courtèsgnu: Use 'ghostscript-gs' in packages that need the...
2016-06-13 Leo FamulariMerge branch 'master' into core-updates
2016-06-12 Orivej Deshgnu: unison: Install unison-fsmonitor.
2016-06-07 Ludovic CourtèsMerge branch 'master' into core-updates
2016-05-26 Roel Janssengnu: Rename texlive module to tex.
2016-05-24 Alex Kostgnu: Use 'emacs-minimal' instead of 'emacs-no-x'.
2016-05-13 Leo FamulariMerge branch 'master' into core-updates
2016-05-04 Mark H WeaverMerge branch 'master' into gnome-updates
2016-05-02 Leo Famularignu: ocaml: Fix CVE-2015-8869.
2016-05-02 Mathieu LirzinMerge branch 'master' into core-updates
2016-04-14 Alex Kostgnu: packages: Use 'search-patches' everywhere.
2016-02-27 Mark H WeaverMerge branch 'master' into core-updates
2016-02-13 Jan Nieuwenhuizengnu: lablgtk: Build cmxa libraries.
2016-02-13 Jan Nieuwenhuizengnu: ocaml: Set search path.
2016-02-13 Jan Nieuwenhuizengnu: Add ocaml-findlib.
2016-01-19 Mark H WeaverMerge branch 'master' into core-updates
2016-01-17 Eric Baviergnu: hevea: Update to 2.28.
2016-01-17 Eric Baviergnu: unison: Add "doc" output.
2016-01-03 Ludovic CourtèsMerge branch 'master' into core-updates
2015-12-26 Leo Famularignu: hevea: Update URL.
2015-12-12 Ludovic CourtèsMerge branch 'master' into core-updates
2015-11-09 David Hashegnu: Add gtksourceview.
2015-10-31 Ludovic CourtèsMerge branch 'dbus-update'
2015-10-31 Ludovic Courtèsgnu: lablgtk: Build sequentially.
2015-10-08 Mark H WeaverMerge branch 'master' into core-updates
2015-10-08 Efraim FlashnerCorrect "Revert "gnu: camlp4: Remove extra input.""
2015-10-08 Efraim FlashnerRevert "gnu: camlp4: Remove extra input."
2015-10-08 Mark H WeaverMerge branch 'master' into core-updates
2015-10-07 Efraim Flashnergnu: camlp4: Remove extra input.
2015-08-23 Andreas Engegnu: Add LablGtk.
2015-08-23 Andreas Engegnu: camlp4: Update to 4.02+6.
2015-08-23 Andreas Engegnu: camlp5: Update to 6.14.
2015-08-23 Andreas Engegnu: Add unison.
2015-08-23 Andreas Engegnu: ocaml: Update to 4.02.3.
2015-07-21 Ludovic Courtèsgnu: Add Camlp4.
2015-07-19 Mark H WeaverMerge branch 'master' into core-updates
2015-07-18 Alex Kostgnu packages: Clean up synopses and descriptions.
2015-06-21 Mark H WeaverMerge branch 'master' into core-updates
next