diff options
Diffstat (limited to 'math/alt-ergo/Makefile')
| -rw-r--r-- | math/alt-ergo/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index ad51bc0e5176..0eb4c007e0cc 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -6,6 +6,7 @@ MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ MAINTAINER= ports@FreeBSD.org COMMENT= Automatic solver of mathematical formulas for program verification +WWW= https://alt-ergo.lri.fr LICENSE= CeCILL-C LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1 |