Informative: pick of tag for upcoming release of Coq Platform for Coq 8.14
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.
This issue is to inform you that your latest tag does work fine with Coq 8.14+rc1.
Coq Platform currently uses the opam package 'coq-menhirlib.20210419' from official repository https://coq.inria.fr/opam/released.
In case this is the version you want to see in Coq Platform, there is nothing to do for you - just close this issue.
In case you would prefer to see an updated version in the upcoming Coq Platform, please inform as as soon as possible!
Thanks!
P.S.: this issue has been created semi-automatically.