Yirmiuc / libghc-sbv-doc

symbolic Haskell theorem prover using SMT solving; documentation



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