For uploading curry-base to Debian, we should avoid non-existent license name "OtherLicense" in the files' headers.