spin 6.5.2+dfsg-1 source package in Ubuntu
Changelog
spin (6.5.2+dfsg-1) unstable; urgency=medium * New upstream release 6.5.2 * Bump Standards-Version to 4.5.0 * debian-compat 12 * Fix various build and lintian issues * Exclude binaries under Bin/ in upstream tarball during repack * Also exclude book errata under Docs/ until copyright can be determined -- Tom Lee <email address hidden> Sat, 25 Apr 2020 20:50:11 -0700
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
spin_6.5.2+dfsg-1.dsc | 1.9 KiB | 0d0a6e8b800a01e3edc476b2035fa891168080a7031949cc8f1c6ba29ea442bd |
spin_6.5.2+dfsg.orig.tar.xz | 588.7 KiB | 5f54157828908fdddc0175721628b51ba91f64ae725b2d4cf81dba2eee38930a |
spin_6.5.2+dfsg-1.debian.tar.xz | 5.6 KiB | 9c3193dd6be0c88b1e284a70370efe1741ae042ecf8239b3cdb54a946f9657e4 |
Available diffs
- diff from 6.4.9+dfsg-1 to 6.5.2+dfsg-1 (756.8 KiB)
No changes file available.
Binary packages built by this source
- spin: formal software verification tool
Spin is a popular open-source software verification tool, used by thousands
of people worldwide. The tool can be used for the formal verification of
multi-threaded software applications. The tool was developed at Bell Labs
in the Unix group of the Computing Sciences Research Center, starting in 1980.
.
The software has been available freely since 1991, and continues to evolve to
keep pace with new developments.
.
In April 2002 the tool was awarded the ACM System Software Award.
- spin-dbgsym: debug symbols for spin