search

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]
Other
44 stars 24 forks source link

Release compatible with Coq 8.15 #90

Closed pi8027 closed 2 years ago

pi8027 commented 2 years ago

Can we have a release of Paramcoq compatible with Coq 8.15(+rc1) soon?

FTR (since @proux01 is also a maintainer of CoqEAL), I'm using the combination of CoqEAL 1.1.0, the v8.15 branch of Paramcoq, and Coq 8.15+rc1 without any issue except that I have to pass --ignore-constraints-on coq to OPAM.

proux01 commented 2 years ago

As soon as we get a Docker image for the CI, I'll release a 1.1.3+coq8.15 in OPAM extra-dev repo. Cc @erikmd

erikmd commented 2 years ago

As soon as we get a Docker image for the CI, I'll release a 1.1.3+coq8.15 in OPAM extra-dev repo.

@proux01

proux01 commented 2 years ago

@pi8027 there is a now a coq-paramcoq.1.1.3+coq8.15 in the extra-dev OPAM repo working with Coq 8.15.

pi8027 commented 2 years ago

Thanks!