Karl Palmskog (Jun 12 2020 at 16:57): Karl Palmskog (Jun 12 2020 at 16:57):I think it could make sense to advertise the Coq session at IJCAR on July 3 via the CoqLang Twitter account (https://easychair.org/smart-program/IJCAR2020/2020-07-03.html#session:46059) and also call for people to register for free for virtual IJCAR (https://ijcar2020.org/registration-conferences/)
Karl Palmskog (Jun 13 2020 at 01:58):Also, I think a tweet about the 8.11.2 release makes sense.
Théo Zimmermann (Jun 13 2020 at 10:30):For this, it would need to be announced first, which it hasn't yet!
Karl Palmskog (Jun 13 2020 at 10:57):I thought the definition of "released" was nowadays "marked as 'Latest release' on GitHub"? (Which 8.11.2 is now)
Théo Zimmermann (Jun 13 2020 at 13:40):The release was created so that the Windows packages could be uploaded but this is still missing the macOS packages, there has been no news published on the Coq website, no e-mail or Discourse announcement and the Coq website still links to the 8.11.1 release as the latest.
Théo Zimmermann (Jun 13 2020 at 13:40):So the last steps of the release are still missing...
Notification Bot (Jun 13 2020 at 14:00):This topic was moved by Théo Zimmermann to #Coq devs & plugin devs > Coq 8.11.2 release plans
Last updated: Nov 29 2023 at 04:01 UTC