logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

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
Packages PNG Icons
MCP
Sanity-mcp-server Mcp
Man Pages
libmtp Man Pages
✳️
Eight Spoked Asterisk Emojis
Man Pages
names Man Pages
Man Pages
Imager::Files Man Pages
← View User commands Category← Back to File management🙏  Credits & Acknowledgments