packages [ questing ]
仮想パッケージ: libghc-what4-dev-1.5.1-e264f
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。
libghc-what4-dev-1.5.1-e264f を提供するパッケージ
- libghc-what4-dev
- Solver-agnostic symbolic values support for issuing queries
これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。