search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
97 stars 21 forks source link

Please create a tag for the upcoming release of Coq 8.14 #265

Closed MSoegtropIMC closed 3 years ago

MSoegtropIMC commented 3 years ago

The Coq team released Coq 8.14+rc1 on September 17, 2021 and plans to release Coq 8.14.0 before October 31, 2021. A corresponding Coq Platform releases should be released before November 30, 2021. It can be dealyed in case of difficulties until January 31, 2022, but this should be an exception.

Coq CI is currently testing commit bd589b63bf48cf9a00812bdaa0c9a8192e78b83b on branch https://github.com/math-comp/hierarchy-builder/tree/coq-master but we would like to ship a released version instead (a tag in git's slang).

Coq Platform is currently not testing this package!

Could you please create a tag, or communicate us any existing tag that works with Coq branch v8.14, preferably 15 days before November 30, 2021 or earlier? In case we might have to delay the Coq Platform release cause of issues with your project, we would prefer to be informed about the situation as early as possible.

Thanks!

P.S.: this issue has been creates semi-automatically.

CC: https://github.com/coq/platform/issues/139

gares commented 3 years ago

v1.2.0 works with Coq 8.14+rc1