Accepted spin 6.4.5-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 23 May 2016 00:12:18 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.5-1
Distribution: unstable
Urgency: medium
Maintainer: Tom Lee <debian@tomlee.co>
Changed-By: Tom Lee <debian@tomlee.co>
Description:
spin - formal software verification tool
Closes: 814306
Changes:
spin (6.4.5-1) unstable; urgency=medium
.
* Initial release (Closes: #814306)
Checksums-Sha1:
b2fe831b4c9b6089615db89438ace78fa85792ae 1790 spin_6.4.5-1.dsc
1bc426d125c0a61d067ba7132da64df2fd38cb33 672549 spin_6.4.5.orig.tar.gz
0ac61eca1d450562374eae53fca622b1c4b81675 3884 spin_6.4.5-1.debian.tar.xz
cfa8e51e5ca0665f93eea4a9c47a159b70878b6c 340896 spin-dbgsym_6.4.5-1_amd64.deb
3684ae49404ad2f887592dedd894ca5a7c214615 555400 spin_6.4.5-1_amd64.deb
Checksums-Sha256:
8f67edf612223a53f92bef07c5db3c13c7b7a4b36eb7b406290741d45e56f7eb 1790 spin_6.4.5-1.dsc
44081282eb63cd9df763ebbcf8bad19dbeefecbebf8ac2cc090ea92e2ab71875 672549 spin_6.4.5.orig.tar.gz
47639605bec6c9517601a97c65de220cc5591c9efad74a396b9c977306e712cd 3884 spin_6.4.5-1.debian.tar.xz
76e675f6fcbd602e5d56180048c295bd754835b12364d72c1c383b86d725a433 340896 spin-dbgsym_6.4.5-1_amd64.deb
5f40d452c1923695297f52f7950ee66cd119c27a7425c40bb740e72060fb1041 555400 spin_6.4.5-1_amd64.deb
Files:
b3082760e3bd651b3301fc5d55f8f14e 1790 devel optional spin_6.4.5-1.dsc
508241a94effd48b24ec29622bd0b668 672549 devel optional spin_6.4.5.orig.tar.gz
8f1d96b8ce27d3fe76ede17fd49b8920 3884 devel optional spin_6.4.5-1.debian.tar.xz
2c6dd8176f30d023d4c11f36c650e422 340896 debug extra spin-dbgsym_6.4.5-1_amd64.deb
ad79934f3eef9bd5aa13bb588904af19 555400 devel optional spin_6.4.5-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJXVKLGAAoJECHSBYmXSz6WBq4P/2cydYVCPAh7AD8/kQx15Wi7
Vd4KLTkG81TD5XeeUuFkuA0r7i0xls89cmNnl21+7E1whkdVgFhu+JzvqRGiDoi/
z+HNXtcTUfoewB4/7BpJ9dSLBFya8vGOg1tuukajVTaN/1gpVGZVikwErPtdudHK
1NcGc6P1JGyYsGFoyRaazELKsMfqRbfggcwmrlnikBuCuCDX7imPVcX8JKaLYAn2
WtLoQp6wfZJ2L0OQB7186GHvGAboVxjEsgKJo4mH0LoSwoF51tz/dczhOZfsPTbo
7GhVE0MIEiOWrqr8kOvhnQrvkuXWwbk+qPXBoO5cK+K6WveFoAlGYoxaAhxmCijG
LceVzeK1UT4Dty3m8jO8kVW/vS+q/mpXWsjUFj+T9hTZYLNhlF//Ob1Q/LJmfzJP
DCYgYB/ASbLcjFz/WJwl3/Fc2wsXKEwJKTfwhu/VHyjhbxG1+/sor48p9F0gSjq8
znP3Fbi1ZAfUCSe0ZMKn29T4kG1H5c/WMHPdZdNkemPUrTWOG1FYfuLiKHUFuhtU
0xOpNDw1tRfa2cF0cSYH9mwtWw7QfE6ywNhIirt0ZZoonOavJq6Er3sgkGLXfp36
R9kl8bpenqoJmvkE2HLBqWrP3LCKGMdiBxFwCYZ9Hm1yt5/s1Av9N69uTsIf3jrp
HIEatVU0K07Mdh6Mxe2U
=7IMX
-----END PGP SIGNATURE-----