gnu: packages: Use 'search-patches' everywhere.
[jackhill/guix/guix.git] / gnu / packages / ocaml.scm
2016-04-14 Alex Kostgnu: packages: Use 'search-patches' everywhere.
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
2015-06-18 Mark H WeaverMerge branch 'master' into core-updates
2015-06-18 Mark H Weavergnu: ocaml: Update gcc:lib input to gcc-4.9.
2015-06-18 Mark H WeaverMerge branch 'master' into core-updates
2015-06-17 Ludovic Courtèsgnu: ocaml: Don't rely on (gnu packages commencement).
2015-06-10 Mark H WeaverMerge branch 'master' into core-updates
2015-06-09 Mark H Weavergnu: Add proof-general.
2015-06-05 Mark H Weavergnu: Add coq.
2015-06-05 Mark H Weavergnu: Add hevea.
2015-06-05 Mark H Weavergnu: Add camlp5.
2015-06-05 Mark H Weavergnu: ocaml: Update to 4.02.1.
2014-10-26 Eric Baviergnu: Some cleanup based on lint checkers.
2014-09-22 Ludovic CourtèsMerge branch 'core-updates'
2014-09-15 Ludovic Courtèsgnu: Add OPAM.
2014-04-02 Mark H Weavergnu: ocaml: Install man pages in share/man.
2013-01-23 Cyril Roelandtgnu: Add OCaml. licenses: Add QPL.