Date: Mon, 3 Jun 2019 21:16:28 +0400 From: Gleb Popov <arrowd@freebsd.org> To: FreeBSD ports list <freebsd-ports@freebsd.org> Subject: math/hs-Agda: Need help with defining LICENSE Message-ID: <CALH631kXj0a77T9T%2BUvsdH0x3SWZVbraVEz4Aof2F3LL=oiu5Q@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CALH631kXj0a77T9T%2BUvsdH0x3SWZVbraVEz4Aof2F3LL=oiu5Q>