仮想パッケージ: libcoq-relation-algebra-fen69

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

libcoq-relation-algebra-fen69 を提供するパッケージ