math/hs-Agda: Fix LICENSE

PR: 277730
freebsd · Mar 16, 2024 · d9edbdd · d9edbdd
1 parent 6df9b5d
commit d9edbdd
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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