>> Trisquel >> 软件包 >> aramo >> virtual >> libcoq-core-ocaml-zjlv3

[ aramo ]

虚包: libcoq-core-ocaml-zjlv3

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libcoq-core-ocaml-zjlv3 的软件包

libcoq-core-ocaml: runtime libraries for Coq