仮想パッケージ: libcoq-stdpp-rm7e9

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

libcoq-stdpp-rm7e9 を提供するパッケージ