Віртуальний пакунок: libmathcomp-coq
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libmathcomp-coq
- libssreflect-coq
- small scale reflection library for Coq (theories)
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.