Pardus Paket İzleyici
Ana Sayfa
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 25 Güncellemeleri
Pardus 23 Güncellemeleri
English
Türkçe
Yirmibes / why3
Software verification platform
Debian OCaml Maintainers
debian-ocaml-maint@lists.debian.org
http://why3.lri.fr/
1.8.0-2+b1
why3_1.8.0-2+b1_amd64.deb
11.8 MiB
math
amd64
why3_1.8.0-2.debian.tar.xz
why3_1.8.0-2.dsc
why3_1.8.0.orig.tar.bz2
Debian Versiyonu: 1.8.0-2+b1
Software verification platform
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmiuc
why3
1.5.1-1+b2
yirmibir
why3
1.3.3-1+b4
ondokuz
why3
1.2.0-1