Hi, On Tue, Oct 8, 2024 at 2:55 PM Stéphane Glondu <[email protected]> wrote: ... > > Could you help me to evaluate that again, did I misunderstand what you > > meant? I have tested it on its rdeps, even these share files are put > > `/usr/share/lem` is okay. > > There seems to be no established practice of using `/usr/share/ocaml`. > At the moment, there seems to be only files related to the toolchain > itself there. > > IMHO, `/usr/share/lem` should be used instead. >
Okay, I agree with this also after thinking about it for a few days. Thanks for confirming this again! BR, Bo > > Cheers, > > -- > Stéphane >
