>> Trisquel >> 套件 >> aramo >> virtual >> libcoq-elpi-ocaml-dev-780a9

[ aramo ]

虛擬套件： libcoq-elpi-ocaml-dev-780a9

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libcoq-elpi-ocaml-dev-780a9 的套件

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