仮想パッケージ: libcoq-mathcomp-zify-j7sb2

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

libcoq-mathcomp-zify-j7sb2 を提供するパッケージ

libcoq-mathcomp-zify

Micromega arithmetic solvers for Mathematical Components