仮想パッケージ: libcoq-elpi-7k9x0

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

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

libcoq-elpi

Coq plugin embedding Elpi