proofgeneral
source package

general

source
proofgeneral (optional, editors)
version
3.7-3.1
maint
Stefan Schimanski
std-ver
3.7.3

versions ...pool

old
save 3.5-4.1
stable
save 3.7-3
testing
save 3.7-3.1
unstable
save 3.7-3.1

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 2 errors and 1 warning about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 3.8.3 instead of 3.7.3).

problems

  • There were override disparities found in suite unstable:
    • proofgeneral-coq: Override says editors - optional, .deb says science - optional
    • proofgeneral-minlog: Override says editors - optional, .deb says science - optional
    • proofgeneral-misc: Override says editors - optional, .deb says science - optional
    • proofgeneral: Override says editors - optional, .deb says science - optional
  • This package has been orphaned. This means that it does not have a real maintainer at the moment. Please consider adopting this package if you are interested in it. Please see bug number #554263 for more information.

news RSS

bugs count

all bug history graph
4
RC
0
I&N
2
M&W
2
F&P
0

ubuntu ubuntu ...