table of contents
coq-check-packages(1) | General Commands Manual | coq-check-packages(1) |
NAME¶
coq-check-packages - check all Coq packages for basic sanity
SYNOPSIS¶
coq-check-packages
DESCRIPTION¶
This script is used when working on Coq packages to check that the ABI versioning isn't broken.
AUTHORS¶
Julien Puydt <jpuydt@debian.org>