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