» Ubuntu » Packages » bionic (18.04LTS) » virtual » libcoq-ocaml-rs5t9
bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]

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

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

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

libcoq-ocaml
runtime libraries for Coq