Ondokuz / maude

high-performance logical framework



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir maude 3.1-2
yirmiuc maude 3.2-2