Yirmiuc / libghc-sbv-dev

symbolic Haskell theorem prover using SMT solving



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz libghc-sbv-dev 7.12-2+b2
yirmibir libghc-sbv-dev 8.7-1+b1