Stream: Coq devs & plugin devs

Topic: Refman as Zenodo artifact


view this post on Zulip Karl Palmskog (Aug 27 2022 at 18:43):

Given that Coq's refman has a different license than Coq (ODL vs. LGPL-2.0-only), and that people sometimes want to cite the Coq refman separately from Coq itself (e.g., when talking about some feature such as SProp), how about putting the refman as a separate "Publication" artifact on Zenodo?

view this post on Zulip Karl Palmskog (Aug 27 2022 at 18:45):

For example, the MathComp book is on Zenodo, which provides:

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:53):

FWIW the correct SPDX code for Coq's refman seems to be OPUBL-1.0.

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:53):

I'm fine with this idea of publishing the refman to Zenodo but it also happened in the past that the refman was published to HAL.

view this post on Zulip Karl Palmskog (Aug 28 2022 at 09:54):

right, but HAL doesn't (yet) provide DOIs

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:54):

Right, though it may have other benefits that people may have been looking for (e.g., easier to cite in Inria's project-team reports).

view this post on Zulip Karl Palmskog (Aug 28 2022 at 09:55):

also, isn't the version handling on Zenodo a better fit? They put a version number directly in the metadata

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:55):

Yes, I agree with your preference.

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:55):

I'd just like to know what is the opinion of @Matthieu Sozeau on this question since I think he was the one who published the refman on HAL for the last time.

view this post on Zulip Théo Zimmermann (Aug 28 2022 at 09:56):

And if we decide to publish the refman on Zenodo, it's easy for me to do it as part of the (for now manual) Zenodo archiving pipeline.

view this post on Zulip Karl Palmskog (Aug 28 2022 at 10:36):

in the Zenodo archiving pipeline, maybe we can add the Coq keyword, this is similar to GitHub topics: https://zenodo.org/search?q=keywords%3A%22Coq%22

view this post on Zulip Matthieu Sozeau (Aug 28 2022 at 10:46):

Théo Zimmermann said:

I'd just like to know what is the opinion of Matthieu Sozeau on this question since I think he was the one who published the refman on HAL for the last time.

Zenodo is definitely better, last time I checked HAL still handled refman publications poorly


Last updated: Feb 06 2023 at 18:03 UTC