diff options
| author | antoine <antoine@FreeBSD.org> | 2014-12-07 08:07:47 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-12-07 08:07:47 +0800 |
| commit | 72d7a1f7ce9f6b8120c5f5df45a30b9cb318f6bc (patch) | |
| tree | 33213fbd97d1a79e0fa2c5c2fdf7d8e3c880fd4e /math/alt-ergo | |
| parent | 1c8d693c4823e459a08ebaf56588cd3217ecbe66 (diff) | |
| download | freebsd-ports-gnome-72d7a1f7ce9f6b8120c5f5df45a30b9cb318f6bc.tar.gz freebsd-ports-gnome-72d7a1f7ce9f6b8120c5f5df45a30b9cb318f6bc.tar.zst freebsd-ports-gnome-72d7a1f7ce9f6b8120c5f5df45a30b9cb318f6bc.zip | |
Canonicalize a few licenses
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 4dc4162fa9e3..1c05080ec988 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -13,7 +13,7 @@ COMMENT= Automatic solver of mathematical formulas for program verification LICENSE= CeCILL-C LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1 LICENSE_FILE= ${WRKSRC}/LICENSE -LICENSE_PERMS= auto-accept +LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \ ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph |