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 vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/atdgen.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/atdgen.git

libatdgen-ocaml-dev (1.9.1-2+b3; main)

• W binary-without-manpage
  • usr/bin/atdgen-cppo
  • usr/bin/atdgen.run
  • usr/bin/cppo-json

• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/biniou.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/biniou.git

• W ancient-standards-version
  • 3.9.4 (released 2012-09-19) (current is 4.2.1)
• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/caml2html.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/caml2html.git

• W ancient-standards-version
  • 3.9.4 (released 2012-09-19) (current is 4.2.1)
• 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

libcmdliner-ocaml-dev-dbgsym

• W debug-file-with-no-debug-symbols
  • usr/lib/debug/.build-id/3a/c91355035506a3a455770734dabd71188b5200.debug
  • usr/lib/debug/.build-id/d9/3f00aa0a7a162049cb927a2b29346ec28d3e08.debug

• 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.2.1)
• 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

libeasy-format-ocaml-dbgsym (1.2.0-1+b1; main)

• W debug-file-with-no-debug-symbols
  • usr/lib/debug/.build-id/d5/caea68582097c95a6b468a9ad3b06c1d2ce55c.debug
  • usr/lib/debug/.build-id/f9/beaebef109c0773db4c0bd8eb827ba2c88ee5d.debug

• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git
  • vcs-git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/hol-light.git

hol-light

• W priority-extra-is-replaced-by-priority-optional

• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mikmatch.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mikmatch.git

• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/oasis.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/oasis.git

• W ancient-standards-version
  • 3.9.5 (released 2013-10-28) (current is 4.2.1)
• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml-atd.git
  • vcs-git git://anonscm.debian.org/pkg-ocaml-maint/packages/ocaml-atd.git

libatdgen-ocaml-dev

• W binary-without-manpage
  • usr/bin/atdgen-cppo
  • usr/bin/cppo-json

• W ancient-standards-version
  • 3.9.6 (released 2014-09-17) (current is 4.2.1)
• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml-benchmark.git
  • vcs-git git://anonscm.debian.org/pkg-ocaml-maint/packages/ocaml-benchmark.git

• 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 incomplete-creative-commons-license
• 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 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

• W ancient-standards-version
  • 3.9.4 (released 2012-09-19) (current is 4.2.1)
• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/tophide.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/tophide.git

libuuidm-ocaml-dev-dbgsym

• W debug-file-with-no-debug-symbols
  • usr/lib/debug/.build-id/00/826fba36be200759ab5cf8c0c7447ca28e244d.debug
  • usr/lib/debug/.build-id/e3/5961928690cfb9f0765dfb88a01bcf1be29d20.debug

• W vcs-obsolete-in-debian-infrastructure
  • vcs-browser https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/yojson.git
  • vcs-git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/yojson.git