Go
Register
|
Log in
Subscribe
spass
automated theorem prover for first-order logic with equality
×
Choose email to subscribe with
general
source:
spass
(
source
,
science
)
version:
3.7-4
maintainer:
Debian Science Maintainers
(
archive
)
[
DMD
]
uploaders:
Ralf Treinen
[
DMD
]
arch:
any
std-ver:
3.9.8
VCS:
Git
(
Browse
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
3.7-3
oldstable:
3.7-3
stable:
3.7-4
testing:
3.7-4
unstable:
3.7-4
versioned links
3.7-3:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
3.7-4:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
spass
action needed
lintian reports
12 warnings
normal
Lintian
reports
12 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks report
1 warning
low
Build log checks
report
1 warning
news
[rss feed]
[
2016-10-29
]
spass 3.7-4 MIGRATED to testing
(
Debian testing watch
)
[
2016-10-23
]
Accepted spass 3.7-4 (source) into unstable
(
Ralf Treinen
)
[
2011-08-26
]
spass 3.7-3 MIGRATED to testing
(
Debian testing watch
)
[
2011-08-15
]
Accepted spass 3.7-3 (source i386)
(
Roland Stigge
)
[
2010-07-10
]
spass 3.7-2 MIGRATED to testing
(
Debian testing watch
)
[
2010-06-29
]
Accepted spass 3.7-2 (source i386)
(
Roland Stigge
)
[
2010-06-27
]
Accepted spass 3.7-1 (source i386)
(
Roland Stigge
)
[
2008-08-28
]
spass 2.1-4 MIGRATED to testing
(
Debian testing watch
)
[
2008-08-17
]
Accepted spass 2.1-4 (source i386)
(
Roland Stigge
)
[
2003-10-13
]
Accepted spass 2.1-3 (i386 source)
(
Roland Stigge
)
[
2003-10-11
]
Accepted spass 2.1-2 (source)
(
Roland Stigge
)
[
2003-05-17
]
Accepted spass 2.1-1 (i386 source)
(
Marco Kuhlmann
)
[
2002-09-02
]
Accepted spass 2.0-3 (i386 source)
(
Marco Kuhlmann
)
[
2002-09-01
]
Accepted spass 2.0-2 (i386 source)
(
Marco Kuhlmann
)
[
2002-08-26
]
Accepted spass 2.0-1 (i386 source)
(
Marco Kuhlmann
)
links
homepage
lintian
(
0
,
12
)
buildd:
logs
,
checks
,
clang
,
reproducibility
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
3.7-4
