Le 22/04/2021 à 23:50, Benoît Minisini a écrit : > > OK, so it's a problem only in RPM-based distributions... Then they > should use another name. I don't know what is the usual name in these > distributions for the package of a language that includes its > development tools... > ...and don't tell me it ends with "-dev". -- Benoît Minisini