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 |