Stream: Coq devs & plugin devs

Topic: Citing Coq 8.12


view this post on Zulip Jason Gross (Sep 09 2020 at 23:21):

Zenmodo only lists versions up to 8.11.0 (https://zenodo.org/search?page=1&size=20&q=conceptrecid:%221003420%22&sort=-version&all_versions=True). Is there supposed to be 8.12.0 as well, there?

view this post on Zulip Théo Zimmermann (Sep 10 2020 at 07:25):

Sorry, I still haven't taken care of this. (I should work on automating it.)

view this post on Zulip Théo Zimmermann (Sep 10 2020 at 08:12):

Done! cc also @Karl Palmskog


Last updated: Nov 29 2023 at 17:01 UTC