git: d9edbdde5ddc - main - math/hs-Agda: Fix LICENSE

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Sat, 16 Mar 2024 11:59:40 UTC 
The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d9edbdde5ddc9d4a517d7b61def652172f96cea9

commit d9edbdde5ddc9d4a517d7b61def652172f96cea9
Author:     Andrey Korobkov <alster@vinterdalen.se>
AuthorDate: 2024-03-16 11:58:09 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:58:29 +0000

    math/hs-Agda: Fix LICENSE
    
    PR:             277730
---
 math/hs-Agda/Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index fff83be227f2..efb518465b09 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -6,10 +6,8 @@ MAINTAINER=	haskell@FreeBSD.org
 COMMENT=	Dependently typed functional programming language and proof assistant
 WWW=		https://wiki.portal.chalmers.se/agda/
 
-LICENSE=	UNKNOWN
-LICENSE_NAME=	custom
+LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
-LICENSE_PERMS=	dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept
 
 BROKEN_i386=	compiler goes out of memory