spin
formal software verification tool
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/spin
general
source
spin
(
optional
,
misc
)
version
6.5.2+dfsg-1
maint
Tom Lee
,
tony mancill
(u)
std-ver
4.5.0
VCS
Git
(
browse
)
versions
o-o-stable
6.4.9+dfsg-1
oldstable
6.5.2+dfsg-1
stable
6.5.2+dfsg-1
testing
6.5.2+dfsg-1
unstable
6.5.2+dfsg-1
Ubuntu
6.5.2+dfsg-1
binaries
spin
(
0 bugs
:
0
,
0
,
0
,
0
)
formal software verification tool
todo
Lintian
reports
1 warning
about this package. You should make the package
lintian clean
getting rid of it.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.5.0
).
news
RSS
[2020-05-04]
spin 6.5.2+dfsg-1 MIGRATED to testing
(Britney)
[2020-05-02]
Accepted 6.5.2+dfsg-1 in unstable (medium)
(Debian FTP Masters)
[2018-12-25]
spin 6.4.9+dfsg-1 MIGRATED to testing
(Britney)
[2018-12-23]
Accepted 6.4.9+dfsg-1 in unstable (medium)
(Tom Lee)
[2017-07-01]
spin 6.4.6+dfsg-2 MIGRATED to testing
(Britney)
[2017-06-26]
Accepted 6.4.6+dfsg-2 in unstable (medium)
(tony mancill)
[2017-04-28]
spin 6.4.5+dfsg-3 MIGRATED to testing
(Britney)
[2017-04-26]
Accepted 6.4.5+dfsg-3 in unstable (medium)
(tony mancill)
[2017-04-25]
Accepted 6.4.5+dfsg-2 in unstable (medium)
(tony mancill)
[2017-03-12]
Accepted 6.4.6+dfsg-1 in experimental (medium)
(tony mancill)
[2016-07-27]
spin 6.4.5+dfsg-1 MIGRATED to testing
(Britney)
[2016-07-07]
Accepted 6.4.5+dfsg-1 in unstable (medium)
(Tom Lee)
[2016-06-07]
Accepted 6.4.5-1 in unstable (medium)
(Tom Lee)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
tests
(
log
)
lintian
(
0
,
1
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
6.5.2+dfsg-1
6.5.2+dfsg-1
6.5.2+dfsg-1
6.5.2+dfsg-1