packages [ questing ]
仮想パッケージ: libcoq-math-classes-a2cl0
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libcoq-math-classes-a2cl0 を提供するパッケージ
- libcoq-math-classes
- Abstract interfaces for mathematical structures for Coq
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。