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.2
  • 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.4.1~pre170114-1
  • stable: 4.4.1~pre170114-1.2
  • testing: 4.4.1~pre170114-1.2
  • unstable: 4.4.1~pre170114-1.2
versioned links
  • 4.4.1~pre170114-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 4.4.1~pre170114-1.2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • proofgeneral (6 bugs: 0, 4, 2, 0)
  • proofgeneral-doc
action needed
Problems while searching for a new upstream version high
uscan had problems while searching for a new upstream version:
In watchfile debian/watch, reading webpage
  http://proofgeneral.inf.ed.ac.uk/releases/ failed: 404 Not Found
Created: 2021-12-21 Last update: 2023-03-21 09:02
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).
Created: 2018-04-16 Last update: 2022-12-17 19:17
1 bug tagged patch in the BTS normal
The BTS contains patches fixing 1 bug, consider including or untagging them.
Created: 2023-02-03 Last update: 2023-03-21 13:33
lintian reports 8 warnings normal
Lintian reports 8 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2020-07-29 Last update: 2021-04-11 10:19
AppStream hints: 2 warnings normal
AppStream found metadata issues for packages:
  • proofgeneral: 2 warnings
You should get rid of them to provide more metadata about this software.
Created: 2020-01-05 Last update: 2020-06-01 01:13
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: 2023-03-21 10:40
debian/patches: 11 patches to forward upstream low

Among the 11 debian patches available in version 4.4.1~pre170114-1.2 of the package, we noticed the following issues:

  • 11 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2023-02-26 Last update: 2023-02-26 15:54
news
[rss feed]
  • [2019-12-24] proofgeneral 4.4.1~pre170114-1.2 MIGRATED to testing (Debian testing watch)
  • [2019-12-19] Accepted proofgeneral 4.4.1~pre170114-1.2 (source) into unstable (Gard Spreemann) (signed by: Pierre-Elliott Bécue)
  • [2019-11-16] proofgeneral REMOVED from testing (Debian testing watch)
  • [2019-07-30] proofgeneral 4.4.1~pre170114-1.1 MIGRATED to testing (Debian testing watch)
  • [2019-07-25] Accepted proofgeneral 4.4.1~pre170114-1.1 (source) into unstable (Gianfranco Costamagna)
  • [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)
  • 1
  • 2
bugs [bug history graph]
  • all: 7
  • RC: 0
  • I&N: 5
  • M&W: 2
  • F&P: 0
  • patch: 1
links
  • homepage
  • lintian (0, 8)
  • buildd: logs, reproducibility
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 4.4.1~pre170114-1.2

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