file headers: Replace non-license name "OtherLicense" by the license name of what is found in the LICENSE file. (!2) · Merge requests · curry / curry-base

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

file headers: Replace non-license name "OtherLicense" by the license name of what is found in the LICENSE file.