Debian Package Tracker
Register | Log in
Subscribe

proofgeneral

generic frontend for proof assistants

Choose email to subscribe with

general
  • source: proofgeneral (main)
  • version: 4.4.1~pre170114-1
  • maintainer: Hendrik Tews [DMD]
  • arch: all
  • std-ver: 3.9.8
  • VCS: unknown
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 4.2~pre120605-2
  • oldstable: 4.3~pre131011-0.2
  • stable: 4.4.1~pre170114-1
  • unstable: 4.4.1~pre170114-1
versioned links
  • 4.2~pre120605-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 4.3~pre131011-0.2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 4.4.1~pre170114-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • proofgeneral
  • proofgeneral-doc
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.3.0 instead of 3.9.8).
Created: 2018-04-16 Last update: 2018-12-23 17:16
The package has not entered testing even though the delay is over normal
The package has not entered testing even though the 10-day delay is over. Check why.
Created: 2017-12-14 Last update: 2019-02-18 01:02
lintian reports 6 warnings normal
Lintian reports 6 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2014-07-03 Last update: 2018-09-26 08:58
AppStream hints: 1 warning normal
AppStream found metadata issues for packages:
  • proofgeneral: 1 warning
You should get rid of them to provide more metadata about this software.
Created: 2018-06-04 Last update: 2018-06-04 02:27
Multiarch hinter reports 1 issue(s) low
There are issues with the multiarch metadata for this package.
  • proofgeneral-doc could be marked Multi-Arch: foreign
Created: 2016-09-14 Last update: 2019-02-17 21:38
testing migrations
  • excuses:
    • 762 days old (10 needed)
    • Updating proofgeneral introduces new bugs: #880285
    • Piuparts tested OK - https://piuparts.debian.org/sid/source/p/proofgeneral.html
    • Checking build-dependency on amd64
    • Not touching package due to block request by freeze (please contact debian-release if update is needed)
    • Not considered
news
[rss feed]
  • [2017-12-15] proofgeneral REMOVED from testing (Debian testing watch)
  • [2017-01-27] proofgeneral 4.4.1~pre170114-1 MIGRATED to testing (Debian testing watch)
  • [2017-01-16] Accepted proofgeneral 4.4.1~pre170114-1 (source all) into unstable (Hendrik Tews) (signed by: Richard B. Kreckel)
  • [2017-01-11] proofgeneral 4.4.1~pre161230-0.1 MIGRATED to testing (Debian testing watch)
  • [2016-12-31] Accepted proofgeneral 4.4.1~pre161230-0.1 (source all) into unstable (Richard B. Kreckel)
  • [2014-11-22] proofgeneral 4.3~pre131011-0.2 MIGRATED to testing (Britney)
  • [2014-11-16] Accepted proofgeneral 4.3~pre131011-0.2 (source all) into unstable (intrigeri)
  • [2014-10-26] proofgeneral 4.3~pre131011-0.1 MIGRATED to testing (Britney)
  • [2014-09-12] proofgeneral REMOVED from testing (Britney)
  • [2014-09-02] proofgeneral 4.3~pre131011-0.1 MIGRATED to testing (Britney)
  • [2014-08-22] Accepted proofgeneral 4.3~pre131011-0.1 (source all) into unstable (Hideki Yamane)
  • [2014-03-03] proofgeneral 4.3~pre130510-1.1 MIGRATED to testing (Debian testing watch)
  • [2014-02-25] Accepted proofgeneral 4.3~pre130510-1.1 (source all) (Hideki Yamane)
  • [2013-05-29] proofgeneral 4.3~pre130510-1 MIGRATED to testing (Debian testing watch)
  • [2013-05-18] Accepted proofgeneral 4.3~pre130510-1 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-12-17] proofgeneral 4.2~pre120605-2 MIGRATED to testing (Debian testing watch)
  • [2012-12-06] Accepted proofgeneral 4.2~pre120605-2 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-06-20] proofgeneral 4.2~pre120605-1 MIGRATED to testing (Debian testing watch)
  • [2012-06-09] Accepted proofgeneral 4.2~pre120605-1 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-05-07] proofgeneral 4.2~pre120411-2 MIGRATED to testing (Debian testing watch)
  • [2012-04-26] Accepted proofgeneral 4.2~pre120411-2 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-04-22] Accepted proofgeneral 4.2~pre120411-1 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-03-10] proofgeneral 4.2~pre120206-1 MIGRATED to testing (Debian testing watch)
  • [2012-02-28] Accepted proofgeneral 4.2~pre120206-1 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-01-24] proofgeneral 4.2~pre120112-1 MIGRATED to testing (Debian testing watch)
  • [2012-01-13] Accepted proofgeneral 4.2~pre120112-1 (source all) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2010-10-22] proofgeneral 3.7-4 MIGRATED to testing (Debian testing watch)
  • [2010-10-11] Accepted proofgeneral 3.7-4 (source all) (Christian Perrier)
  • [2009-10-07] proofgeneral 3.7-3.1 MIGRATED to testing (Debian testing watch)
  • [2009-09-26] Accepted proofgeneral 3.7-3.1 (source all) (Christian Perrier)
  • 1
  • 2
bugs [bug history graph]
  • all: 5
  • RC: 1
  • I&N: 3
  • M&W: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 6)
  • buildd: logs, clang
  • popcon
  • browse source code
  • edit tags
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 4.4.1~pre170114-1

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing