Go
Register
|
Log in
Subscribe
prooftree
proof-tree visualization for Proof General
×
Choose email to subscribe with
general
source:
prooftree
(
main
)
version:
0.13-2
maintainer:
Debian OCaml Maintainers
(
archive
)
(
DMD
)
uploaders:
Hendrik Tews
[
DMD
]
arch:
any
std-ver:
3.9.8
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
0.13-1
stable:
0.13-2
testing:
0.13-2
unstable:
0.13-2
versioned links
0.13-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
0.13-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
prooftree
action needed
Standards version of the package is outdated.
high
The package is severely out of date with respect to the Debian Policy.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
3.9.8
).
lintian reports
3 warnings
normal
Lintian reports
3 warnings
about this package. You should make the package
lintian clean
getting rid of them.
news
[rss feed]
[
2022-01-11
]
prooftree 0.13-2 MIGRATED to testing
(
Debian testing watch
)
[
2021-11-27
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2020-07-28
]
prooftree 0.13-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-07-27
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2020-06-21
]
prooftree 0.13-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-06-20
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2020-06-19
]
prooftree 0.13-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-06-18
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2020-05-18
]
prooftree 0.13-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-05-13
]
Accepted prooftree 0.13-2 (source) into unstable
(
Gianfranco Costamagna
)
[
2020-05-08
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2020-04-07
]
prooftree 0.13-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-04-06
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2019-12-24
]
prooftree 0.13-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-11-16
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2019-07-30
]
prooftree 0.13-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-12-15
]
prooftree REMOVED from testing
(
Debian testing watch
)
[
2017-01-25
]
prooftree 0.13-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-01-14
]
Accepted prooftree 0.13-1 (source) into unstable
(
Hendrik Tews
)
(signed by:
Ralf Treinen
)
[
2015-11-01
]
prooftree 0.12-2 MIGRATED to testing
(
Britney
)
[
2015-10-14
]
Accepted prooftree 0.12-2 (source amd64) into unstable
(
Stéphane Glondu
)
[
2014-10-26
]
prooftree 0.12-1 MIGRATED to testing
(
Britney
)
[
2014-09-12
]
prooftree REMOVED from testing
(
Britney
)
[
2013-07-26
]
prooftree 0.12-1 MIGRATED to testing
(
Debian testing watch
)
[
2013-07-16
]
Accepted prooftree 0.12-1 (source amd64)
(
Hendrik Tews
)
(signed by:
Stéphane Glondu
)
bugs
[bug history graph]
all:
1
RC:
0
I&N:
1
M&W:
0
F&P:
0
patch:
0
links
homepage
lintian
(
0
,
3
)
buildd:
logs
,
checks
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
0.13-2build8
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/prooftree.png){kind=link}