>> Trisquel >> 套件 >> nabia >> virtual >> libghc-simple-smt-dev-0.9.1-52ead

[ nabia ]

虛擬套件： libghc-simple-smt-dev-0.9.1-52ead

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libghc-simple-smt-dev-0.9.1-52ead 的套件

libghc-simple-smt-dev: A simple way to interact with an SMT solver process.