| 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 | |