Yirmiuc / spin

formal software verification tool

•     Tom Lee
•     [email protected]
•     http://spinroot.com
•     6.5.2+dfsg-1
•     spin_6.5.2+dfsg-1_amd64.deb
•     434.8 KiB
•     devel
•     amd64
•      spin_6.5.2+dfsg-1.debian.tar.xz
            spin_6.5.2+dfsg-1.dsc
            spin_6.5.2+dfsg.orig.tar.xz
•     Debian Versiyonu: 6.5.2+dfsg-1
•     formal software verification tool

Diğer Pardus sürümlerindeki versiyonlar