@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: Mar 02 2024 at 16:01 UTC