仮想パッケージ: libcoq-mathcomp-real-closed-u1oq3

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

libcoq-mathcomp-real-closed-u1oq3 を提供するパッケージ