packages [ questing ]
仮想パッケージ: libcoq-deriving-3o5l8
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libcoq-deriving-3o5l8 を提供するパッケージ
- libcoq-deriving
- deriving MathComp classes from inductive types
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。