prooftree
proof-tree visualization for Proof General

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/prooftree

general

source
prooftree (optional, misc)
version
0.13-2
distro
stable
maint
Debian OCaml Maintainers (a), Hendrik Tews (u)
std-ver
3.9.8
VCS
Git (browse)

versions ... ...pool

oldstable
save 0.13-2
stable
save 0.13-2

binaries

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 3.9.8).

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.
  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.6.2 and your package only follows 3.9.8...
  • This package is neither part of unstable nor experimental. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it into unstable.

testing migration

excuses:
  • Migration status for prooftree (- to 0.13-2): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Issues preventing migration:
  • Build-Depends(-Arch): prooftree coq (not considered)
  • Depends: prooftree coq (not considered)
  • Invalidated by build-dependency
  • Invalidated by dependency
  • Additional info:
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/p/prooftree.html
  • 582 days old (needed 5 days)

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0

links

patches

Debian
0.13-2 0.13-2

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2023-11-27T02:41:51+00:00.