Hi Gianfranco, sorry for inadvertently making your life harder. Hilko: If you're ok with that I will work on making the necessary changes to debian/copyright in git. Then this problem gets solved once we import a new upstream release. Regards Lukas