Coq 8.12 compatibility in opam

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

Coq 8.12 compatibility in opam #22

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

Any chance for marking some opam package (either the one in extra-dev, or the one for 1.2.0, or even the repo one) as compatible with Coq 8.12? Currently, there is no way for me to test in CI that Disel works with 8.12 via opam, despite that it works fine locally with 8.12+beta1.

anton-trunov commented 4 years ago

Done for this repo and here a pending PR: https://github.com/coq/opam-coq-archive/pull/1309

palmskog commented 4 years ago

Thanks, Disel CI works fine now.