[ etiona ]
Віртуальний пакунок: libcoq-ocaml-6pjp3
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.
Пакунки що надають libcoq-ocaml-6pjp3
- libcoq-ocaml
- runtime libraries for Coq
Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.