Go
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
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.2
instead of
4.7.0
).
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
buildd:
logs
,
reproducibility
popcon
browse source code
edit tags
other distros
screenshots
debian patches
ubuntu
[Information about Ubuntu for Debian Developers]
version:
4.5-3
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/proofgeneral.png){kind=link}