仮想パッケージ: libcoq-math-classes-p69e2

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

libcoq-math-classes-p69e2 を提供するパッケージ

libcoq-math-classes

Abstract interfaces for mathematical structures for Coq