Copyright for mathcomp-finmap source package in Lunar