kpriv
/
freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/hs-Agda: Fix LICENSE 

PR:		277730
This commit is contained in:
Andrey Korobkov 2024-03-16 14:58:09 +03:00 committed by Gleb Popov
parent 6df9b5d518
commit d9edbdde5d
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/hs-Agda/Makefile
View File

@ -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