Skip to content
软件包名
描述信息
源码包名
软件包内容
全部搜索项
Sections
>>
Trisquel
>>
软件包
>>
aramo
>>
virtual
>> libghc-simple-smt-dev-0.9.5-b7be9
[
aramo
]
虚包: libghc-simple-smt-dev-0.9.5-b7be9
这是一个
虚包
。查看
Debian 政策
了解
虚包的定义
。
负责填实 libghc-simple-smt-dev-0.9.5-b7be9 的软件包
libghc-simple-smt-dev
A simple way to interact with an SMT solver process.