>> Trisquel >> 软件包 >> etiona >> virtual >> libghc-sbv-dev-5.14-db0b6

[ etiona ]

虚包: libghc-sbv-dev-5.14-db0b6

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libghc-sbv-dev-5.14-db0b6 的软件包

libghc-sbv-dev: symbolic Haskell theorem prover using SMT solving