| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |