Virtuelles Paket: coq-8.11.0+4.08.1
Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.
Pakete, die coq-8.11.0+4.08.1 bereitstellen
- coq
- proof assistant for higher-order logic (toplevel and compiler)