Yirmiuc / boogie

verifiable programming language (compiler)

•     Benjamin Barenblat
•     [email protected]
•     http://research.microsoft.com/en-us/projects/boogie/
•     2.4.1+dfsg-0.1
•     boogie_2.4.1+dfsg-0.1_all.deb
•     16.2 KiB
•     cli-mono
•     all
•      boogie_2.4.1+dfsg-0.1.debian.tar.xz
            boogie_2.4.1+dfsg-0.1.dsc
            boogie_2.4.1+dfsg.orig.tar.xz
•     Debian Versiyonu: 2.4.1+dfsg-0.1
•     verifiable programming language (compiler)

Diğer Pardus sürümlerindeki versiyonlar