📦 debian-coq-tools

C

• coq-check-packages(1)check all Coq packages for basic sanity✨
• coq-planif-transition(1)planification of a transition✨
• coq-platform-comparison(1)compare with the Coq Platform✨
• coq-wanna-build(1)compute dak script for a transition✨