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 <[email protected]>
coq-check-packages(1)
check all Coq packages for basic sanity