Package: hol-light Version: 20170109-2 Severity: normal Hi! I'm afraid your package installs some quiltage:
hol-light: /usr/share/hol-light/.pc/.quilt_patches hol-light: /usr/share/hol-light/.pc/.quilt_series hol-light: /usr/share/hol-light/.pc/.version hol-light: /usr/share/hol-light/.pc/applied-patches hol-light: /usr/share/hol-light/.pc/camlp5-7.patch/pa_j_3.1x_6.11.ml hol-light: /usr/share/hol-light/.pc/cd-holtest-parallel.patch/holtest_parallel hol-light: /usr/share/hol-light/.pc/default-hollight-dir/hol.ml hol-light: /usr/share/hol-light/.pc/holtest-no-proof-recording.patch/holtest Meow! -- System Information: Debian Release: buster/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'unstable'), (500, 'testing'), (150, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.13.6+ (SMP w/6 CPU cores) Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE=C.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: sysvinit (via /sbin/init) Versions of packages hol-light depends on: pn camlp5 <none> pn camlp5-daca9 <none> pn ocaml-nox-4.02.3 <none> hol-light recommends no packages. Versions of packages hol-light suggests: pn coinor-csdp <none> pn dmtcp <none> pn libocamlgraph-ocaml-dev <none> pn maxima <none> pn pari-gp <none> pn prover9 <none> pn readline-editor <none>