Hello. I'm having troubles setting LICENSE properly for math/hs-Agda port. Its LICENSE file looks like this: https://hackage.haskell.org/package/Agda-2.6.0.1/src/LICENSE I've figured out that I surely need LICENSE_COMB= multi, but I'm unsure of the rest. I'd be grateful, if someone would write LICENSE block for me.