Release compatible with Coq 8.12

[clarus]

Hello,

Would it be possible to have a new release of ott so that it could be compatible with Coq 8.12? Indeed, we have a project https://gitlab.com/nomadic-labs/mi-cho-coq which depends on ott for the Coq part, and it seems that the latest version of ott (0.31) is not compatible with Coq 8.12.

Thanks!

[palmskog]

If @PeterSewell approves I can make a release.

@clarus, in the meantime, you can depend on the extra-dev version of the Ott Coq library (coq-ott.dev), which supports 8.12 just fine.

[clarus]

Thanks, and good idea for our development package.

[PeterSewell]

fine by me - many thanks Peter

…

On Thu, 19 Nov 2020 at 17:37, Karl Palmskog ***@***.***> wrote: If @PeterSewell <https://github.com/PeterSewell> approves I can make a release. @clarus <https://github.com/clarus>, in the meantime, you can depend on the extra-dev version of the Ott Coq library (coq-ott.dev), which supports 8.12 just fine. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#72 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABFMZZTQFOZLFDLMIGX53RLSQVJTJANCNFSM4T3OZJJQ> .

[clarus]

Hi,

This is to know if there can be a new tag 0.32 to have compatibility with Coq 8.12. As soon as there is a tag I can make a new package for coq-ott.0.32.

Thanks!

[clarus]

Hello,

A slight ping to know if there can be a release of coq-ott compatible with Coq 8.12. I think it can just be the release of the current master branch. However, now there is also Coq 8.13 to support.

Thanks.