仮想パッケージ: libghc-copilot-theorem-dev-4.5-1ea3c

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

libghc-copilot-theorem-dev-4.5-1ea3c を提供するパッケージ