Stream: Coq users

Topic: Zenodo entries


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

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

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

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

view this post on Zulip Théo Zimmermann (Feb 04 2021 at 09:25):

I'll create the Zenodo entry for 8.13.0 now.

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

view this post on Zulip Théo Zimmermann (Feb 04 2021 at 10:09):

I've also applied your suggestion of giving only the major version number now.

view this post on Zulip 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: Jan 28 2023 at 07:30 UTC