Package: spin
Priority: optional
Section: universe/devel
Installed-Size: 1555
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 6.5.2+dfsg-2build1
Depends: libc6 (>= 2.38)
Filename: pool/universe/s/spin/spin_6.5.2+dfsg-2build1_amd64.deb
Size: 490106
SHA512: 18bb6d52543c6f8e07a75f7810b6572cdb742169178413c0762573d6d788ed9f85d130f3a203707ae9df74625a5c20c9b5e7bdc5d7aac05b9046f4435aed6976
Homepage: https://spinroot.com/spin/whatispin.html
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3
Original-Maintainer: Tom Lee <debian@tomlee.co>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug