仮想パッケージ: libcoq-mathcomp-solvable-6fa48

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

libcoq-mathcomp-solvable-6fa48 を提供するパッケージ

libcoq-mathcomp-solvable

Mathematical Components library for Coq (finite groups II)