@Enrico Tassi did build some snap packages https://github.com/gares/coq-opam-snap here , it would be cool to see if we can integrate them into the CI
back then SNAP had some decent doc. Yes, a snap can depend on another snap (or just include it). It was part of the doc. What is useful is to "stage" (as in docker) so that your rebuilds are quick: https://snapcraft.io/docs/adding-parts
I think "stage-snaps" is the one you can use for pulling in the code snap
It looks like the snap packages don't install all the binaries, as per https://github.com/coq/coq/issues/15809#issuecomment-1068650433. Do the snap packages have a dedicated bug tracker?
The platform one.
Last updated: Jun 09 2023 at 07:01 UTC