Yirmiuc / libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries



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