Man page - coq-check-packages(1)
Packages contas this manual
Package: debian-coq-tools
apt-get install debian-coq-tools
apt-get install debian-coq-tools
Manuals in package:
Documentations in package:
Manual
| 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>