2023.11 track creation for coq-prover

store-requests
1

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

2

I forgot to mention that this should be a “fast track creation”, since our use of tracks was approved a while ago.

3

Hi,

Track 2023.11 has been created.

Thanks,

Odysseus