coq-check-packages - check all Coq packages for basic sanity

Contents

Authors

       Julien Puydt <jpuydt@debian.org>

                                                                                           coq-check-packages(1)

Description

       This script is used when working on Coq packages to check that the ABI versioning isn't broken.

Name

       coq-check-packages - check all Coq packages for basic sanity

Synopsis

coq-check-packages

See Also

Packages

MCP

Sanity-mcp-server

Man Pages

Eight Spoked Asterisk

Man Pages

Man Pages

← View User commands Category ← Back to File management 🙏 Credits & Acknowledgments