Bug#878615: hol-light: installs .pc/ files into a binary package

[Adam Borowski <kilobyte@angband.pl>]

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>