Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement

2021-11-16 Thread Julien Puydt
Hi, Le mardi 16 novembre 2021 à 06:35 -0800, Felix Lechner a écrit : > > On Sat, Nov 13, 2021 at 1:15 AM Julien Puydt > 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

Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement

2021-11-16 Thread Felix Lechner
Hi Julien, On Sat, Nov 13, 2021 at 1:15 AM Julien Puydt 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! Kind regards Felix Lechner

Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement

2021-11-13 Thread Julien Puydt
Package: lintian Version: 2.111.0 X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org A new build system is seeing increasing use in the OCaml world, and is putting the above hint implementation out of its depth: dune. The current implementation of the hint is that for each foo.cmi, there should