Yirmiuc / libghc-simple-smt-dev

A simple way to interact with an SMT solver process.



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz libghc-simple-smt-dev 0.9.1-1+b2
yirmibir libghc-simple-smt-dev 0.9.5-1