>> Trisquel >> Packages >> nabia >> virtual >> libcoq-ocaml-rd419

[ nabia ]

Віртуальний пакунок: libcoq-ocaml-rd419

Це — віртуальний пакунок. Перегляньте Політику Debian щоб дізнатись про визначення віртуальних пакунків.

Пакунки що надають libcoq-ocaml-rd419

libcoq-ocaml: runtime libraries for Coq