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