Hints
Hendrik Tews
We have the following e-mail addresses on file:
- hendrik@askra.de
Found 27 issues in 7 maintained sources. To see all packaging hints, please click on the source.
- coq-doc 8.6-1
- coq-doc_8.6-1.dsc (non-free)
- package-uses-deprecated-debhelper-compat-version 9
- unnecessary-team-upload [debian/changelog:1]
- vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
- vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git
- easy-format 1.3.2-1
- libeasy-format-ocaml_1.3.2-1+b1_amd64.deb (main)
- shared-library-lacks-prerequisites [usr/lib/ocaml/easy-format/easy_format.cmxs]
- hol-light 20190729-4
- hol-light_20190729-4+b4_amd64.deb (main)
- executable-not-elf-or-script [usr/share/hol-light/Examples/digit_serial_methods.ml]
- executable-not-elf-or-script [usr/share/hol-light/update_database_3.ml]
- executable-not-elf-or-script [usr/share/hol-light/update_database_4.ml]
- executable-not-elf-or-script [usr/share/hol-light/update_database.ml]
- national-encoding [usr/share/hol-light/Proofrecording/diffs/proofobjects_dummy.ml]
- national-encoding [usr/share/hol-light/Proofrecording/diffs/proofobjects_trt.ml]
- national-encoding [usr/share/hol-light/Proofrecording/README]
- package-contains-vcs-control-file [usr/share/hol-light/ProofTrace/.gitignore]
- unusual-interpreter /usr/bin/python [usr/share/hol-light/Formal_ineqs/tests/data/gen_nat_data.py]
- otags 4.05.1-2
- otags_4.05.1-2+b2_amd64.deb (main)
- groff-message 443: warning: macro 'b' not defined [usr/share/man/man1/otags.1.gz:1]
- proofgeneral 4.4.1~pre170114-1.2
- proofgeneral_4.4.1~pre170114-1.2.dsc (main)
- package-uses-deprecated-debhelper-compat-version 9
- patch-file-present-but-not-mentioned-in-series [debian/patches/fix-texinfo-5-1-bug.patch]
- patch-file-present-but-not-mentioned-in-series [debian/patches/pg-image-bug.patch]
- patch-file-present-but-not-mentioned-in-series [debian/patches/smartly-enable-prooftree.patch]
- patch-file-present-but-not-mentioned-in-series [debian/patches/use-debian-pkg-add-load-path-item.patch]
- proofgeneral_4.4.1~pre170114-1.2_all.deb (main)
- emacsen-common-without-dh-elpa
- national-encoding [usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el]
- no-manual-page [usr/bin/coqtags]
- prooftree 0.13-2
- prooftree_0.13-2.dsc (main)
- uuidm 0.9.7-1
- libuuidm-ocaml-dev_0.9.7-1+b1_amd64.deb (main)
- shared-library-lacks-prerequisites [usr/lib/ocaml/uuidm/uuidm.cmxs]