2022.09 track creation for coq-prover

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

1 Like

Let me just add this should be a “fast track creation”, since our use of tracks was approved a while ago.

Just in case, CC @roadmr / thanks in advance

Hi, the track is now created, +1 from me as reviewer.

  • Daniel