Age | Commit message (Expand) | Author |
2016-01-17 | gnu: hevea: Update to 2.28. | Eric Bavier |
2016-01-17 | gnu: unison: Add "doc" output. | Eric Bavier |
2015-12-25 | gnu: hevea: Update URL. | Leo Famulari |
2015-11-09 | gnu: Add gtksourceview. | David Hashe |
2015-10-31 | gnu: lablgtk: Build sequentially. | Ludovic Courtès |
2015-10-08 | Correct "Revert "gnu: camlp4: Remove extra input."" | Efraim Flashner |
2015-10-08 | Revert "gnu: camlp4: Remove extra input." | Efraim Flashner |
2015-10-07 | gnu: camlp4: Remove extra input. | Efraim Flashner |
2015-08-23 | gnu: Add LablGtk. | Andreas Enge |
2015-08-23 | gnu: camlp4: Update to 4.02+6. | Andreas Enge |
2015-08-23 | gnu: camlp5: Update to 6.14. | Andreas Enge |
2015-08-23 | gnu: Add unison. | Andreas Enge |
2015-08-23 | gnu: ocaml: Update to 4.02.3. | Andreas Enge |
2015-07-21 | gnu: Add Camlp4. | Ludovic Courtès |
2015-07-18 | gnu packages: Clean up synopses and descriptions. | Alex Kost |
2015-06-18 | gnu: ocaml: Update gcc:lib input to gcc-4.9. | Mark H Weaver |
2015-06-18 | gnu: ocaml: Don't rely on (gnu packages commencement). | Ludovic Courtès |
2015-06-08 | gnu: Add proof-general. | Mark H Weaver |
2015-06-05 | gnu: Add coq. | Mark H Weaver |
2015-06-05 | gnu: Add hevea. | Mark H Weaver |
2015-06-05 | gnu: Add camlp5. | Mark H Weaver |
2015-06-05 | gnu: ocaml: Update to 4.02.1. | Mark H Weaver |
2014-10-26 | gnu: Some cleanup based on lint checkers. | Eric Bavier |
2014-09-15 | gnu: Add OPAM. | Ludovic Courtès |
2014-04-02 | gnu: ocaml: Install man pages in share/man. | Mark H Weaver |
2013-01-24 | gnu: Add OCaml. licenses: Add QPL. | Cyril Roelandt |