[ nabia ]
Віртуальний пакунок: coq-8.11.0+4.08.1
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають coq-8.11.0+4.08.1
- coq
- proof assistant for higher-order logic (toplevel and compiler)