>> Trisquel >> 软件包 >> aramo >> virtual >> libcoq-elpi-ocaml-dev-gdau9

[ aramo ]

虚包: libcoq-elpi-ocaml-dev-gdau9

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

负责填实 libcoq-elpi-ocaml-dev-gdau9 的软件包

libcoq-elpi-ocaml-dev: Coq plugin embedding Elpi (devel)