Your message dated Tue, 07 Jun 2016 13:01:00 +0000 with message-id <E1bAGcu-0006W6-FB@franck.debian.org> and subject line Bug#814306: fixed in spin 6.4.5-1 has caused the Debian Bug report #814306, regarding ITP: spin -- a software verification tool to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 814306: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814306 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: ITP: spin -- a software verification tool
- From: Tom Lee <debian@tomlee.co>
- Date: Tue, 9 Feb 2016 22:20:12 -0800
- Message-id: <CAKwFPQ9QY0V+vw1YS93vYf8jbaHKwebFyBdtXAQKw5QLUftToA@mail.gmail.com>
Package: wnppSeverity: wishlistX-Debbugs-CC: debian-devel@lists.debian.orgI'm working on Debian packages for Gerard J. Holzmann's Spin software verification tool, which has recently become available under the BSD 3-Clause license. Holzmann's original paper "The Model Checker: SPIN" has been cited over a thousand times in academia according to ACM. Spin has also seen success in a number of commercial and government projects, including NASA's investigation of alleged unintended acceleration in the Toyota Camry MY05's control software.Packaging WIP is available here: https://github.com/thomaslee/spin-debianInitial indications are the packaging will be relatively simple with some minimal patches.Further reading:
--- End Message ---
--- Begin Message ---
- To: 814306-close@bugs.debian.org
- Subject: Bug#814306: fixed in spin 6.4.5-1
- From: Tom Lee <debian@tomlee.co>
- Date: Tue, 07 Jun 2016 13:01:00 +0000
- Message-id: <E1bAGcu-0006W6-FB@franck.debian.org>
Source: spin Source-Version: 6.4.5-1 We believe that the bug you reported is fixed in the latest version of spin, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 814306@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Tom Lee <debian@tomlee.co> (supplier of updated spin package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmaster@ftp-master.debian.org) -----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-----
--- End Message ---