仮想パッケージ: libcoq-ext-lib-md2c5

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

libcoq-ext-lib-md2c5 を提供するパッケージ