| 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 : guix.git | |
| Mirror of the official guix repository | Vivien |
| summaryrefslogtreecommitdiff |