| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : guix | |
| Wojtek's customized Guix |
| aboutsummaryrefslogtreecommitdiff |