| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-01-25 | gnu: coq-interval: Use INVOKE. | Ricardo Wurmus |
| 2019-01-25 | gnu: coq-coquelicot: Use INVOKE. | Ricardo Wurmus |
| 2019-01-25 | gnu: coq-mathcomp: Use INVOKE. | Ricardo Wurmus |
| 2019-01-25 | gnu: coq-gappa: Use INVOKE. | Ricardo Wurmus |
| 2019-01-25 | gnu: proof-general: Use INVOKE. | Ricardo Wurmus |
| 2019-01-07 | gnu: Move coq packages from ocaml to coq. | Julien Lepiller |
 |
index : guix.git | |
| Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'. | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
© 2015 - 2026 Jakob L. Kreuze