Stream: Coq Platform devs & users

Topic: Thoughts on multiple snap packages


view this post on Zulip Michael Soegtrop (Nov 06 2021 at 16:58):

@Enrico Tassi : one thought regarding the snap packages: I understand that it is not possible to provide several versions/variants for the snap package (say 8.13 and 8.14) via the snap store, but couldn't one provide 8.14+beta2 as downloadable snap package?

view this post on Zulip Enrico Tassi (Nov 06 2021 at 19:01):

we could open another track, the one for .11, and put it there as a beta?

Yes, you can also do that, but a few things won't work. For example the short names are not set automatically if the package does not come from the central store (so you have to say coq-prover.coqide, etc)

view this post on Zulip Michael Soegtrop (Nov 06 2021 at 19:51):

The point is that from now on Coq Platform does support several Coq versions, so we will always have the issue that we need to pick on for snap.

view this post on Zulip Michael Soegtrop (Nov 06 2021 at 20:06):

@Enrico Tassi : I published the release on snap store in the latest and 2021-09 track. Can you please check if the linking to the Readme on github is reasonable?

view this post on Zulip Théo Zimmermann (Nov 08 2021 at 10:11):

Enrico Tassi said:

we could open another track, the one for .11, and put it there as a beta?

Yes, you can also do that, but a few things won't work. For example the short names are not set automatically if the package does not come from the central store (so you have to say coq-prover.coqide, etc)

IMHO this is a good suggestion.

view this post on Zulip Théo Zimmermann (Nov 08 2021 at 10:13):

Michael Soegtrop said:

The point is that from now on Coq Platform does support several Coq versions, so we will always have the issue that we need to pick on for snap.

Sure, but the Snap package is targeting a specific population (new Coq learners) that probably do not need the same diversity of choice. If they do, it is easy to switch to the opam-based scripts.


Last updated: Jan 30 2023 at 11:03 UTC