仮想パッケージ: libghc-sbv-prof-8.7-0ec89

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

libghc-sbv-prof-8.7-0ec89 を提供するパッケージ

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries