Michael Soegtrop (Nov 06 2021 at 16:58): 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?
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)
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.
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?
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.
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: Oct 08 2024 at 15:02 UTC