Bug#876533: hol-light FTBFS with OCaml 4.05.0

[Gianfranco Costamagna <locutusofborg@debian.org>]

Hello,


> BTW, the listing above shows the inclusion of quilt's .pc directory in 
> /usr/share/hol-light, which is wrong.
> 
> > If there are good reasons for installing it in /usr/share/hol-light (which seems to be inconsistent with the packaging policy, as I mentioned) please describe them in debian/README.Debian. For example, I can see that upstream does not have a proper "make install" target for this stuff, and you specify /usr/share yourself in d/rules. So perhaps it is not supposed to be used by other ocaml code, and you include stuff in /usr/share merely "for reference". If that is correct, please add this explanation to the README.
> A note in README.Debian wouldn't hurt, indeed.

I tried to fix this issue, as well as the copyright changes, and uploaded in unstable.
Please followup with another upload in case I missed anything!

(bad me, I read this but I forgot about this bug discussion before uploading)

please find the NMU content in unstable!
(I'll fix the packaging in git too and reupload with the changes that never went in unstable)

G.