仮想パッケージ: libcoq-stdlib-ey0q7

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

libcoq-stdlib-ey0q7 を提供するパッケージ