Skip to content

Backport upstream changes to the opam package

Guillaume Claret requested to merge backport-opam-package-changes-from-upstream-bis into master

Still a single package but backports changes from the upstream repo. Notable change: the name is coq-mi-cho-coq instead of mi-cho-coq as all Coq packages are prefixed by coq-. Other change (of personal taste): in the README, advise to pin with -k path instead of -k git to be able to upgrade the package without creating a Git commit.

I re-submit a MR because the previous one (!39 (closed)) diverged weirdly from master.

Edited by Raphaël Cauderlier

Merge request reports