| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2015-07-21 | gnu: Add Camlp4. | Ludovic Courtès | 1 | -0/+42 |
| 2015-07-18 | gnu packages: Clean up synopses and descriptions. | Alex Kost | 1 | -2/+2 |
| 2015-06-18 | gnu: ocaml: Update gcc:lib input to gcc-4.9. | Mark H Weaver | 1 | -1/+1 |
| 2015-06-18 | gnu: ocaml: Don't rely on (gnu packages commencement). | Ludovic Courtès | 1 | -3/+4 |
| 2015-06-08 | gnu: Add proof-general. | Mark H Weaver | 1 | -0/+81 |
| 2015-06-05 | gnu: Add coq. | Mark H Weaver | 1 | -0/+51 |
| 2015-06-05 | gnu: Add hevea. | Mark H Weaver | 1 | -0/+26 |
| 2015-06-05 | gnu: Add camlp5. | Mark H Weaver | 1 | -0/+41 |
| 2015-06-05 | gnu: ocaml: Update to 4.02.1. | Mark H Weaver | 1 | -43/+86 |
| 2014-10-26 | gnu: Some cleanup based on lint checkers. | Eric Bavier | 1 | -1/+1 |
| 2014-09-15 | gnu: Add OPAM. | Ludovic Courtès | 1 | -1/+66 |
| 2014-04-02 | gnu: ocaml: Install man pages in share/man. | Mark H Weaver | 1 | -1/+4 |
| 2013-01-24 | gnu: Add OCaml. licenses: Add QPL. | Cyril Roelandt | 1 | -0/+77 |
 |
index : guix | |
| Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more! https://guix.gnu.org | Mirror |
| summaryrefslogtreecommitdiff |