Dear Snapcraft Team,
we are about to release version 2022.09 of coq-prover and would like to open a track called 2022.09.
Two notes:
-
@enricotassi - who did the requests for coq-prover until now - is the author of the snap support for Coq Platform, while I am the general maintainer of Coq Platform. Since I took over the maintenenace of the snap support after the initial work of Enrico, I will also do the track requests in the future.
-
Coq Platform is the official distribution of the Coq Theorem Prover and released about every 6 months. The release is not compatible with previous releases, so a new track is desirable to avoid unintended updates.
Best regards,
Michael