仮想パッケージ: dh-sequence-coq

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

dh-sequence-coq を提供するパッケージ