Stream: coq-community devs & users

Topic: Tips for @CoqLang tweets


view this post on Zulip 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/)

view this post on Zulip Karl Palmskog (Jun 13 2020 at 01:58):

Also, I think a tweet about the 8.11.2 release makes sense.

view this post on Zulip Théo Zimmermann (Jun 13 2020 at 10:30):

For this, it would need to be announced first, which it hasn't yet!

view this post on Zulip 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)

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Jun 13 2020 at 13:40):

So the last steps of the release are still missing...

view this post on Zulip 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: Feb 05 2023 at 13:02 UTC