diff options
| author | Andrey Korobkov <alster@vinterdalen.se> | 2024-03-16 14:58:09 +0300 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-03-16 14:58:29 +0300 |
| commit | d9edbdde5ddc9d4a517d7b61def652172f96cea9 (patch) | |
| tree | 88e90f87d23405cb65cac48bad891afa0ea3a133 | |
| parent | 6df9b5d51843a85bb6ecd0b7ad43ca68e24d15fd (diff) | |
| download | freebsd-ports-d9edbdde5ddc9d4a517d7b61def652172f96cea9.zip | |
math/hs-Agda: Fix LICENSE
PR: 277730
| -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 |