coq-check-packages1

Check all coq packages for basic sanity

Usage

coq-check-packages

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

$ coq-check-packages

Pick options to build a command. Linux jk move x pick y copy / filter [] section