Hi, Le mardi 16 novembre 2021 à 06:35 -0800, Felix Lechner a écrit : > > On Sat, Nov 13, 2021 at 1:15 AM Julien Puydt <julien.pu...@gmail.com> > wrote: > > > > I hope this is precise enough to improve the hint. > > We would like to test improvements. Would you please point to > installable packages that triggered the false positives? Thanks!
I suggest only one, libcoq-ocaml-dev: - it has the larger choice of strange examples of the issue -- at least that I know of ; - hopefully there only remains false positives since I checked for real issues ; - but you'll have to "lintian -Io" to get over my overriding the hint for all __ files ; - and you should (temporarily) remove the code which says "three strikes and then only a count", because a list of three explicits and then a hundred silents gets you only so far. (About the last point: I could understand why I had so many of them only when I pushed the limit of showns hints to 300: the complete list made obvious the __ was the problem) I can easily find more, but since I'm new to the team (and apparently they weren't using lintian that much...), I haven't had my hands in many of them, so there will be real positives... and we don't want to fix that! Thanks for looking into this, J.Puydt
