---
name: "coq-check-packages"
section: "1"
platform: "linux"
package: "debian-coq-tools"
version: "0.14"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/coq-check-packages"
---

# coq-check-packages(1)

check all Coq packages for basic sanity

## 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\>**