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