Yirmiuc / libboogie-cil

verifiable programming language (library)

•     Benjamin Barenblat
•     bbaren@mit.edu
•     http://research.microsoft.com/en-us/projects/boogie/
•     2.4.1+dfsg-0.1
•     libboogie-cil_2.4.1+dfsg-0.1_all.deb
•     573.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 (library)

Diğer Pardus sürümlerindeki versiyonlar