Go
Register
|
Log in
Subscribe
prover9-manual
documentation for Prover9 and associated programs
×
Choose email to subscribe with
general
source:
prover9-manual
(
source
,
doc
)
version:
0.0.200902a-2
maintainer:
Debian QA Group
[
DMD
]
arch:
all
std-ver:
3.9.4
VCS:
Git
(
Browse
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
0.0.200902a-1
oldstable:
0.0.200902a-1
stable:
0.0.200902a-2
testing:
0.0.200902a-2
unstable:
0.0.200902a-2
versioned links
0.0.200902a-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
0.0.200902a-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
prover9-doc
action needed
A new upstream version is available:
2009-11A
high
A new upstream version
2009-11A
is available, you should consider packaging it.
Does not build reproducibly
during testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
Depends on packages which need a new maintainer
normal
The packages that prover9-manual depends on which need a new maintainer are:
htmldoc
(
#854222
)
Build-Depends-Indep: htmldoc
ladr
(
#681042
)
Suggests: prover9 ladr4-apps
O
normal
This package has been orphaned
. This means that it does not have a real maintainer at the moment. Please consider adopting this package if you are interested in it.
Please see bug number
#681044
for more information.
lintian reports
1 warning
normal
Lintian
reports
1 warning
about this package. You should make the package
lintian clean
getting rid of them.
Multiarch hinter
reports 1 issue(s)
low
There are issues with the
multiarch
metadata for this package.
prover9-doc could be marked Multi-Arch: foreign
news
[rss feed]
[
2013-05-15
]
prover9-manual 0.0.200902a-2 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-04
]
Accepted prover9-manual 0.0.200902a-2 (source all)
(
tony mancill
)
[
2009-03-25
]
prover9-manual 0.0.200902a-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-03-15
]
Accepted prover9-manual 0.0.200902a-1 (source all)
(
Peter Collingbourne
)
[
2009-02-27
]
prover9-manual 0.0.200811a-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-02-17
]
Accepted prover9-manual 0.0.200811a-1 (source all)
(
Peter Collingbourne
)
[
2009-02-16
]
prover9-manual 0.0.200809a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-09-14
]
Accepted prover9-manual 0.0.200809a-1 (source all)
(
Peter Collingbourne
)
[
2008-07-10
]
prover9-manual 0.0.200806a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-06-29
]
Accepted prover9-manual 0.0.200806a-1 (source all)
(
Peter Collingbourne
)
[
2008-06-08
]
prover9-manual 0.0.200805a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-05-28
]
Accepted prover9-manual 0.0.200805a-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-04-20
]
prover9-manual 0.0.200804a-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-04-09
]
Accepted prover9-manual 0.0.200804a-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-03-31
]
prover9-manual 0.0.200712-2 MIGRATED to testing
(
Debian testing watch
)
[
2008-03-20
]
Accepted prover9-manual 0.0.200712-2 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
[
2008-03-08
]
prover9-manual 0.0.200712-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-02-25
]
Accepted prover9-manual 0.0.200712-1 (source all)
(
Peter Collingbourne
)
(signed by:
Bernd Zeimetz
)
links
homepage
lintian
(
0
,
1
)
buildd:
logs
,
clang
,
reproducibility
popcon
browse source code
edit tags
ubuntu
[Information about Ubuntu for Debian Developers]
version:
0.0.200902a-2
