On 2020-02-16 11:09, Joerg wrote: > The module name and the filename are two different things. > The module name in the file Hans.ORP.Mod is ORP.Mod But if we have Foo.Bar.Mod and Baz.Bar.Mod and module M imports Bar, which one is picked? -- August