search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
189 stars 50 forks source link

Mention Coq Platform (mostly) compatible debian packages in ReadMe #323

Open MSoegtropIMC opened 1 year ago

MSoegtropIMC commented 1 year ago

Julien Puydt maintains Coq / Coq Platform packages for Debian and tries to make them as compatible to Coq Platform as the Debian release schedule allows.

Mention the compatibility list maintained here (https://people.debian.org/~jpuydt/coq_platform.html) in the Coq Platform Linux ReadMe.

MSoegtropIMC commented 4 months ago

Triage note: medium prio -> scheduled for Coq 8.21.