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>