Ubuntu
spin package

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

Upload details

Uploaded by:
Tom Lee
Uploaded to:
Sid
Original maintainer:
Tom Lee
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc
Lunar release universe misc
Jammy release universe misc

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

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