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.

• 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

• 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

• 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

• 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]

• W ancient-standards-version
  • 3.9.8 (released 2016-04-06) (current is 4.4.0)

• W ancient-standards-version
  • 3.9.6 (released 2014-09-17) (current is 4.4.1)

• 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/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

• 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

• 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