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.holzm...@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
