仮想パッケージ: libcoq-elpi-c8gg9

This is a virtual package. See the Debian policy for a definition of virtual packages.

libcoq-elpi-c8gg9 を提供するパッケージ

libcoq-elpi

Coq plugin embedding Elpi