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

[Hendrik Tews]

Thanks for the note! I'll take care of it in the next version.

Hendrik