spass
automated theorem prover for first-order logic with equality
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/spass
general
source
spass
(
source
,
science
)
version
3.9-1.1
maint
Debian Science Maintainers
(
a
)
,
Ralf Treinen
(u)
std-ver
4.5.0
VCS
Git
(
browse
)
versions
oldstable
3.9-1.1
stable
3.9-1.1
testing
3.9-1.1
unstable
3.9-1.1
Ubuntu
3.9-1.1
binaries
spass
(
0 bugs
:
0
,
0
,
0
,
0
)
automated theorem prover for first-order logic with equality
todo
Incorporate and acknowledge the changes from the non maintainer upload.
Lintian
reports
3 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks
report
1 warning
about this package.
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
[2021-02-07]
spass 3.9-1.1 MIGRATED to testing
(Britney)
[2021-02-04]
Accepted 3.9-1.1 in unstable (medium)
(Debian FTP Masters)
[2020-05-01]
spass 3.9-1 MIGRATED to testing
(Britney)
[2020-04-29]
Accepted 3.9-1 in unstable (medium)
(Debian FTP Masters)
[2018-02-18]
spass REMOVED from testing
(Britney)
[2016-10-29]
spass 3.7-4 MIGRATED to testing
(Britney)
[2016-10-23]
Accepted 3.7-4 in unstable (medium)
(Ralf Treinen)
[2011-08-26]
spass 3.7-3 MIGRATED to testing
(Britney)
[2011-08-15]
Accepted 3.7-3 in unstable (low)
(Roland Stigge)
[2010-07-10]
spass 3.7-2 MIGRATED to testing
(Britney)
[2010-06-29]
Accepted 3.7-2 in unstable (low)
(Roland Stigge)
[2010-06-27]
Accepted 3.7-1 in unstable (low)
(Roland Stigge)
[2008-08-28]
spass 2.1-4 MIGRATED to testing
(Britney)
[2008-08-17]
Accepted 2.1-4 in unstable (low)
(Roland Stigge)
[2003-10-13]
Accepted 2.1-3 in unstable (low)
(Roland Stigge)
[2003-10-11]
Accepted 2.1-2 in unstable (low)
(Roland Stigge)
[2003-05-17]
Accepted 2.1-1 in unstable (low)
(Marco Kuhlmann)
[2002-09-02]
Accepted 2.0-3 in unstable (low)
(Marco Kuhlmann)
[2002-09-01]
Accepted 2.0-2 in unstable (low)
(Marco Kuhlmann)
[2002-08-26]
Accepted 2.0-1 in unstable (low)
(Marco Kuhlmann)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
(
0
,
3
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
3.9-1.1
3.9-1.1
3.9-1.1
3.9-1.1