diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/hs-Agda/Makefile | 4 |
1 files changed, 1 insertions, 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 |