Hendrik Tews
At the time of the last Lintian run, the following possible problems were found in packages maintained by Hendrik Tews <hendrik@askra.de>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.
camlmix (1.3.1-3) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.24.0)
-
W ancient-standards-version
- 3.9.4 (released 2012-09-19) (current is 4.4.0)
-
W vcs-obsolete-in-debian-infrastructure
- vcs-browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/camlmix.git
- vcs-git git://anonscm.debian.org/pkg-ocaml-maint/packages/camlmix.git
coq-doc (8.6-1; non-free) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.25.0)
-
W ancient-standards-version
- 4.0.0 (released 2017-05-28) (current is 4.4.1)
- W unnecessary-team-upload
-
W vcs-obsolete-in-debian-infrastructure
- vcs-browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
- vcs-git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git
easy-format (1.2.0-1) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.24.0)
-
W ancient-standards-version
- 3.9.5 (released 2013-10-28) (current is 4.4.0)
-
W vcs-obsolete-in-debian-infrastructure
- vcs-browser https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/easy-format.git
- vcs-git https://anonscm.debian.org/git/git/pkg-ocaml-maint/packages/easy-format.git
hol-light (20190729-2) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.25.0)
-
W dep5-copyright-license-name-not-unique
- (paragraph at line 280)
-
W missing-license-paragraph-in-dep5-copyright
- bsd-2-clause (paragraph at line 276)
hol-light (20190729-2+b1; main)
-
W executable-not-elf-or-script
- usr/share/hol-light/Examples/digit_serial_methods.ml [amd64, i386]
- usr/share/hol-light/update_database.ml [amd64, i386]
- usr/share/hol-light/update_database_3.ml [amd64, i386]
- usr/share/hol-light/update_database_4.ml [amd64, i386]
-
W package-contains-vcs-control-file
- usr/share/hol-light/ProofTrace/.gitignore [amd64, i386]
mikmatch (1.0.8-2) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.24.0)
-
W ancient-standards-version
- 3.9.8 (released 2016-04-06) (current is 4.4.0)
ocaml-benchmark (1.3-3) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.26.0)
-
W ancient-standards-version
- 3.9.6 (released 2014-09-17) (current is 4.4.1)
ocaml-extunix (0.1.6-1) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.26.0)
-
W ancient-standards-version
- 4.0.0 (released 2017-05-28) (current is 4.4.1)
otags (4.05.1-1) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.29.0)
- W unnecessary-team-upload
-
W vcs-obsolete-in-debian-infrastructure
- vcs-browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git
- vcs-git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/otags.git
otags
-
W manpage-has-errors-from-man
- usr/share/man/man1/otags.1.gz 443: warning: macro 'b' not defined
- usr/share/man/man1/otags.1.gz 443: warning: macro 'b' not defined
proofgeneral (4.4.1~pre170114-1.1) §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.28.0)
-
W ancient-standards-version
- 3.9.8 (released 2016-04-06) (current is 4.4.1)
-
W patch-file-present-but-not-mentioned-in-series
- fix-texinfo-5-1-bug.patch
- pg-image-bug.patch
- smartly-enable-prooftree.patch
- use-debian-pkg-add-load-path-item.patch
proofgeneral
-
W binary-without-manpage
- usr/bin/coqtags
- W emacsen-common-without-dh-elpa
prooftree (0.13-1) [Uploader] §
Info Package Tracker Bugs Source Full report (outdated, last processed by Lintian/2.24.0)
-
W ancient-standards-version
- 3.9.8 (released 2016-04-06) (current is 4.4.0)
-
W vcs-obsolete-in-debian-infrastructure
- vcs-browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
- vcs-git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git