Віртуальний пакунок: libcoq-unicoq-mdon5

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

Пакунки що надають libcoq-unicoq-mdon5

libcoq-unicoq

enhanced unification algorithm for Coq