Ondokuz / libghc-sbv-doc

symbolic Haskell theorem prover using SMT solving; documentation



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir libghc-sbv-doc 8.7-1
yirmiuc libghc-sbv-doc 8.17-1