Package: spin
Architecture: amd64
Version: 6.4.9+dfsg-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Tom Lee <debian@tomlee.co>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1590
Depends: libc6 (>= 2.14)
Breaks: staden (<< 2.0.0+b11)
Replaces: staden (<< 2.0.0+b11)
Filename: pool/universe/s/spin/spin_6.4.9+dfsg-1_amd64.deb
Size: 405376
MD5sum: 992c0e91ca116ace31a1ed0d5140d252
SHA1: c8037cfecb9e6985ae2fbbd5f5e064f54ed93901
SHA256: d694d1d29359bf2d87942ae7412fc66b3e77acdeac71d32472ffcc7d11845f48
Homepage: http://spinroot.com
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3