Yannick Forster (Feb 04 2021 at 09:04): Yannick Forster (Feb 04 2021 at 09:04):There is not yet a Zenodo entry for Coq 8.13. The most recent one for 8.12 is 8.12.0 (https://zenodo.org/record/4021912), but it seems like by design only the .0 versions get entries. I find this a little confusing, maybe it's better to have either an 8.12.1 entry as well, or file the major version entries as 8.12 with no minor version number?
Théo Zimmermann (Feb 04 2021 at 09:23):Indeed, this is still a manual process and I've not acted on this item in my todo list yet.
Théo Zimmermann (Feb 04 2021 at 09:24):The idea was that once it would become an automatic process, there could be entries for every minor versions, but until then it's too much work.
Théo Zimmermann (Feb 04 2021 at 09:25):Also, we link each Zenodo update to a GitHub release, so this is why a full version number seemed needed.
Théo Zimmermann (Feb 04 2021 at 09:25):I'll create the Zenodo entry for 8.13.0 now.
Théo Zimmermann (Feb 04 2021 at 09:57):Done. I've also simplified the listed persons to only the maintainers and not all the contributors (the list of contributors already appears in the description anyway). Because this list changes less from release to release, it will make each update easier.
Théo Zimmermann (Feb 04 2021 at 10:09):I've also applied your suggestion of giving only the major version number now.
Théo Zimmermann (Feb 04 2021 at 10:10):Indeed, it wouldn't help much to produce new entries for any patch-level version if the only thing we highlight are the major changes in the version.
Last updated: Sep 23 2023 at 08:01 UTC