Package: spin Architecture: amd64 Version: 6.4.6+dfsg-2 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: 1734 Depends: libc6 (>= 2.14) Breaks: staden (<< 2.0.0+b11) Replaces: staden (<< 2.0.0+b11) Filename: pool/universe/s/spin/spin_6.4.6+dfsg-2_amd64.deb Size: 558978 MD5sum: c189351857bd7d25d1be1231cab5fd9d SHA1: 94ff3cb0cce9f130269505e0b33311995d855045 SHA256: 32ae6c7ef5d2f75d7d0ff8f0711070b8ae1a2ba8c666ffda9da8f02a9c694935 Homepage: http://spinroot.com Description: formal software verification tool Description-md5: 6f4b806803aec0404f0de2b0f81b16b3