# the license is in debian/copyright but upstream wants to have it there as well
mgltools-support: extra-license-file
