packages [ questing ]
仮想パッケージ: libcoq-mathcomp-solvable-apk06
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libcoq-mathcomp-solvable-apk06 を提供するパッケージ
- libcoq-mathcomp-solvable
- Mathematical Components library for Coq (finite groups II)
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。