carta

coqc(1) on Linux

The text e8f3fa5b0115, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

Coq compiler

Flags it lists

coqc(1) on Linux now