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.
