Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Package: sponsorship-requests
Severity: normal
Dear mentors,
I am looking for a sponsor for the "spin" package:
* Package name : spin
Version : 6.4.5
Upstream Author : Gerard J. Holzmann <gerard.j.holzmann@jpl.nasa.gov>
* URL : http://spinroot.com
* License : BSD-3-clause
Section : devel
It builds those binary packages:
spin - formal software verification tool
To access further information about this package, please visit the following URL:
https://mentors.debian.net/package/spin
N.B. no watchfile is present due to the naming strategy of the upstream tarball:
uscan interprets the version number as "645" when the release is actually "6.4.5".
if there's a way to teach uscan how to figure this out, I'm all ears!
One can also download the package with dget using this command:
dget -x http://mentors.debian.net/debian/pool/main/s/spin/spin_6.4.5-1.dsc
More information about spin can be obtained from http://spinroot.com
Cheers,
Tom
Reply to: