Package: spin Version: 6.4.5+dfsg-3 Installed-Size: 1726 Maintainer: Tom Lee <debian@tomlee.co> Architecture: amd64 Replaces: staden (<< 2.0.0+b11) Depends: libc6 (>= 2.14) Breaks: staden (<< 2.0.0+b11) Description: formal software verification tool Homepage: http://spinroot.com Description-md5: 6f4b806803aec0404f0de2b0f81b16b3 Section: devel Priority: optional Filename: pool/main/s/spin/spin_6.4.5+dfsg-3_amd64.deb Size: 555906 MD5sum: 866a1452b9f256013da1f4b0a0b71564 SHA256: cde95d953e572d390f5f8be043c0a9124d0c816c126001e887028969f853a6d5