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>

                                                                            coq-check-packages(1)