Debian Package Tracker
Register | Log in
Subscribe

proofgeneral

generic frontend for proof assistants

Choose email to subscribe with

general
  • source: proofgeneral (main)
  • version: 4.5-3
  • maintainer: Debian Math Team (DMD)
  • uploaders: Julien Puydt [DMD]
  • arch: all
  • std-ver: 4.7.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 4.4.1~pre170114-1.2
  • stable: 4.4.1~pre170114-1.2
  • testing: 4.5-3
  • unstable: 4.5-3
versioned links
  • 4.4.1~pre170114-1.2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 4.5-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • proofgeneral (5 bugs: 0, 4, 1, 0)
  • proofgeneral-doc
action needed
lintian reports 1 warning normal
Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of them.
Created: 2025-04-10 Last update: 2025-04-10 09:31
AppStream hints: 1 warning for proofgeneral normal
AppStream found metadata issues for packages:
  • proofgeneral: 1 warning
You should get rid of them to provide more metadata about this software.
Created: 2020-01-05 Last update: 2023-08-17 21:33
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: 2025-06-07 16:33
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.7.0).
Created: 2025-02-21 Last update: 2025-02-27 13:24
news
[rss feed]
  • [2024-12-03] proofgeneral 4.5-3 MIGRATED to testing (Debian testing watch)
  • [2024-11-27] Accepted proofgeneral 4.5-3 (source) into unstable (Julien Puydt)
  • [2024-09-17] Accepted proofgeneral 4.5-2 (source) into unstable (Julien Puydt)
  • [2024-08-25] proofgeneral REMOVED from testing (Debian testing watch)
  • [2023-08-22] proofgeneral 4.5-1 MIGRATED to testing (Debian testing watch)
  • [2023-08-17] Accepted proofgeneral 4.5-1 (source) into unstable (Julien Puydt)
  • [2023-08-12] proofgeneral REMOVED from testing (Debian testing watch)
  • [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)
  • 1
  • 2
bugs [bug history graph]
  • all: 5
  • RC: 0
  • I&N: 4
  • M&W: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 1)
  • 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.5-3

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