coq-check-packages(1) General Commands Manual coq-check-packages(1)

coq-check-packages - check all Coq packages for basic sanity

coq-check-packages

This script is used when working on Coq packages to check that the ABI versioning isn't broken.

Julien Puydt <jpuydt@debian.org>

QR Code