Skip to content
套件名
描述資訊
原始碼套件名
套件內容
全部搜尋項
Sections
>>
Trisquel
>>
套件
>>
aramo
>>
virtual
>> libghc-simple-smt-prof-0.9.5-f5acb
[
aramo
]
虛擬套件: libghc-simple-smt-prof-0.9.5-f5acb
這是一個
虛擬套件
。檢視
Debian 政策
瞭解
虛擬套件的定義
。
提供 libghc-simple-smt-prof-0.9.5-f5acb 的套件
libghc-simple-smt-prof
A simple way to interact with an SMT solver process.; profiling libraries