coqtop.byte1
Bytecode toplevel coq system
Usage
coqtop.byte [options]
[file]
Overview
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc.
History
- Arch Linux 2026-11-01: the text shown here
- Debian 13 (Trixie)
- Debian 12 (Bookworm) to Debian 11 (Bullseye)
- Debian 10 (Buster) to Debian 3.0 (Woody)