Dear Snapcraft Team,
we are about to release version 2023.11 of coq-prover and would like to open a track called 2023.11.
A few notes:
-
the date may seem a bit odd - we name the releases after the time the packaging selection was frozen - it usually then takes a while to fix all issues on all platforms
-
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