Go
Register
|
Log in
Subscribe
proofgeneral
generic frontend for proof assistants
×
Choose email to subscribe with
general
source:
proofgeneral
(
main
)
version:
4.5-1
maintainer:
Debian Math Team
(
DMD
)
uploaders:
Julien Puydt
[
DMD
]
arch:
all
std-ver:
4.6.2
VCS:
unknown
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
unstable:
4.5-1
versioned links
4.
4.
1~
pre170114-
1.
2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.5-1:
[.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
The package has not entered testing even though the delay is over
normal
The package has not entered
testing
even though the 5-day delay is over.
Check why
.
1 bug
tagged patch in the
BTS
normal
The
BTS
contains
patches fixing 1 bug
, consider including or untagging them.
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.
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
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.0
instead of
4.6.2
).
testing migrations
excuses
:
Migration status for proofgeneral (- to 4.5-1): BLOCKED: Rejected/violates migration policy/introduces a regression
Issues preventing migration:
∙ ∙ Updating proofgeneral would introduce bugs in testing:
#1077126
Additional info:
∙ ∙ Piuparts tested OK -
https://piuparts.debian.org/sid/source/p/proofgeneral.html
∙ ∙ Reproducible on amd64 -
info
♻
∙ ∙ Reproducible on arm64 -
info
♻
∙ ∙ Reproducible on armhf -
info
♻
∙ ∙ Reproducible on i386 -
info
♻
∙ ∙ 381 days old (needed 5 days)
Not considered
news
[rss feed]
[
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
)
[
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
)
1
2
bugs
[bug history graph]
all:
6
RC:
1
I&N:
4
M&W:
1
F&P:
0
patch:
1
links
homepage
lintian
buildd:
logs
popcon
browse source code
edit tags
other distros
screenshots
debian patches
ubuntu
[Information about Ubuntu for Debian Developers]
version:
4.5-1