仮想パッケージ: libcoq-mathcomp-finmap-ug1g0

これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。

libcoq-mathcomp-finmap-ug1g0 を提供するパッケージ

libcoq-mathcomp-finmap

finite sets and maps extension for Mathematical Components