| Commit message (Expand) | Author | Age |
* | gnu: Add gtksourceview. | David Hashe | 2015-11-09 |
* | gnu: lablgtk: Build sequentially. | Ludovic Courtès | 2015-10-31 |
* | Correct "Revert "gnu: camlp4: Remove extra input."" | Efraim Flashner | 2015-10-08 |
* | Revert "gnu: camlp4: Remove extra input." | Efraim Flashner | 2015-10-08 |
* | gnu: camlp4: Remove extra input. | Efraim Flashner | 2015-10-07 |
* | 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-08-23 |
* | gnu: Add Camlp4. | Ludovic Courtès | 2015-07-21 |
* | gnu packages: Clean up synopses and descriptions. | Alex Kost | 2015-07-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-18 |
* | gnu: Add proof-general. | Mark H Weaver | 2015-06-08 |
* | 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 | 2015-06-05 |
* | gnu: Some cleanup based on lint checkers. | Eric Bavier | 2014-10-26 |
* | gnu: Add OPAM. | Ludovic Courtès | 2014-09-15 |
* | gnu: ocaml: Install man pages in share/man. | Mark H Weaver | 2014-04-02 |
* | gnu: Add OCaml. licenses: Add QPL. | Cyril Roelandt | 2013-01-24 |