diff options
| author | John Marino <marino@FreeBSD.org> | 2016-09-15 01:35:58 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-09-15 01:35:58 +0000 |
| commit | 0cacccdf657c492f63697db5e76d9cd7e04721bd (patch) | |
| tree | 27e0d5f2ae5fb45f1bac630fc47cd418a554f953 /math | |
| parent | 252c5d5f385979ea8657b20b7a619b6c5c4e6a64 (diff) | |
| download | ports-0cacccdf657c492f63697db5e76d9cd7e04721bd.tar.gz ports-0cacccdf657c492f63697db5e76d9cd7e04721bd.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/alt-ergo-spark/Makefile | 5 | ||||
| -rw-r--r-- | math/why3-spark/Makefile | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/math/alt-ergo-spark/Makefile b/math/alt-ergo-spark/Makefile index 13ea4f5b02ab..c31161d4253a 100644 --- a/math/alt-ergo-spark/Makefile +++ b/math/alt-ergo-spark/Makefile @@ -7,9 +7,12 @@ MASTER_SITES= http://downloads.dragonlace.net/src/ PKGNAMESUFFIX= -spark DISTNAME= alt-ergo-for-spark-gpl-${PORTVERSION}-src -MAINTAINER= marino@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Automatic solver for SPARK 2015 +DEPRECATED= Only useful for deprecate lang/spark +EXPIRATION_DATE= 2016-09-30 + LICENSE= CeCILL-C LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1 LICENSE_FILE= ${WRKSRC}/LICENSE diff --git a/math/why3-spark/Makefile b/math/why3-spark/Makefile index ba724d54f640..f49463ad515d 100644 --- a/math/why3-spark/Makefile +++ b/math/why3-spark/Makefile @@ -8,12 +8,15 @@ MASTER_SITES= http://downloads.dragonlace.net/src/ PKGNAMESUFFIX= -spark DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src -MAINTAINER= marino@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Component of SPARK ${PORTVERSION} LICENSE= LGPL21 GPLv3 LICENSE_COMB= multi +DEPRECATED= Only useful for deprecated lang/spark +EXPIRATION_DATE= 2016-09-30 + BUILD_DEPENDS= menhir:devel/menhir \ ocaml-zip>1:archivers/ocaml-zip \ ocaml-zarith>1.2:math/ocaml-zarith \ |