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?
Indeed, this is still a manual process and I've not acted on this item in my todo list yet.
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.
Also, we link each Zenodo update to a GitHub release, so this is why a full version number seemed needed.
I'll create the Zenodo entry for 8.13.0 now.
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.
I've also applied your suggestion of giving only the major version number now.
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: Jan 28 2023 at 07:30 UTC