Copyright for mathcomp-analysis source package in Noble