search

math-comp / mczify

Micromega tactics for Mathematical Components
23 stars 8 forks source link

Release compatible with Coq 8.17 #44

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

@pi8027 could you please do a release (I can do the OPAM package if you want) so that we have a release compatible with Coq 8.17? (since 8.17 is in the CI, this should mostly be a matter of hitting the release button on github)

pi8027 commented 1 year ago

Done. I suggest closing this issue after the release of the OPAM package. https://github.com/math-comp/mczify/releases/tag/1.3.0%2B1.12%2B8.13

proux01 commented 1 year ago

Thanks! Done: https://github.com/coq/opam-coq-archive/pull/2470

pi8027 commented 1 year ago

Thanks!