diff options
Diffstat (limited to 'math/lean')
| -rw-r--r-- | math/lean/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index cb05da02342b..37d748362d9c 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -9,6 +9,7 @@ PATCHFILES= 5eecaa0b9c860858372a22ab242566671907c913.patch:-p2 MAINTAINER= yuri@FreeBSD.org COMMENT= Theorem prover +WWW= https://leanprover-community.github.io/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/../LICENSE |