Ondokuz / libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir libghc-sbv-prof 8.7-1+b1
yirmiuc libghc-sbv-prof 8.17-1+b3