Ondokuz / why3

Software verification platform



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir why3 1.3.3-1+b4
yirmiuc why3 1.5.1-1+b2