Package: spin
Architecture: amd64
Version: 6.5.2+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: 1663
Depends: libc6 (>= 2.38)
Filename: pool/universe/s/spin/spin_6.5.2+dfsg-2_amd64.deb
Size: 531502
MD5sum: c6a0fb4e6044d72d0c0f1857478239d5
SHA1: ad212b065cc141995bca439b0f6a966af507b4ec
SHA256: e4c2015460b146d43a418c443678b1be41a476b40c7d99efaae4ecf1f50264f7
SHA512: c36ecce81cad5be3204a8d07a889d82c04793fe714ce2121286ddc986d823e6c18aa23ec7c6a3cc1b1e22d9451df6be39f370998efbd888a4b09e7ace443cced
Homepage: https://spinroot.com/spin/whatispin.html
Description: formal software verification tool
Description-md5: 6f4b806803aec0404f0de2b0f81b16b3