Virtuellt paket: coq-8.20.1+5.3.0

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller coq-8.20.1+5.3.0

coq

proof assistant for higher-order logic (toplevel and compiler)