Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> virtual >> libghc-sbv-dev-8.7-1abb7
aramo  ]

虚包: libghc-sbv-dev-8.7-1abb7

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

负责填实 libghc-sbv-dev-8.7-1abb7 的软件包

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