| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : ~cnx/guix | |
| Personal Guix development branches |
| summary refs log tree commit diff |