仮想パッケージ: libcoq-unimath-f3k07

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

libcoq-unimath-f3k07 を提供するパッケージ

libcoq-unimath

univalent formalization of mathematics for Coq