deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.38)
Description: |-
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.
Homepage: https://spinroot.com/spin/whatispin.html
Installed-Size: '1559'
Maintainer: Tom Lee <debian@tomlee.co>
Package: spin
Priority: optional
Section: devel
Version: 6.5.2+dfsg-2
srcpkg_name: spin
srcpkg_version: 6.5.2+dfsg-2