Yirmibes / spin

formal software verification tool

•     Tom Lee
•     debian@tomlee.co
•     https://spinroot.com/spin/whatispin.html
•     6.5.2+dfsg-2
•     spin_6.5.2+dfsg-2_amd64.deb
•     442.3 KiB
•     devel
•     amd64
•      spin_6.5.2+dfsg-2.debian.tar.xz
            spin_6.5.2+dfsg-2.dsc
            spin_6.5.2+dfsg.orig.tar.xz
•     Debian Versiyonu: 6.5.2+dfsg-2
•     formal software verification tool

Diğer Pardus sürümlerindeki versiyonlar