Hi, Le 25/09/2024 à 16:40, Bo YU a écrit :
I would like to put these share files into `/usr/share/ocaml/lem` unless there is a better suggestion. Is that okay?
Why not directly /usr/share/lem? Are these files of any use outside of lem, but inside the OCaml ecosystem?
Cheers, -- Stéphane