Man page - coq-check-packages(1)

Packages contains this manual

Package:  debian-coq-tools
apt-get install debian-coq-tools

Manuals in package:
• coq-planif-transition(1)
• coq-platform-comparison(1)
• coq-wanna-build(1)
• coq-check-packages(1)
Documentations in package:
• debian-coq-tools

Manual

coq-check-packages

NAME
SYNOPSIS
DESCRIPTION
AUTHORS

---

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>

---