diff options
| author | marino <marino@FreeBSD.org> | 2016-09-15 09:35:58 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-09-15 09:35:58 +0800 |
| commit | e8669680fe0b2fc1af84b3cfec65c4ff931d77ad (patch) | |
| tree | 27e0d5f2ae5fb45f1bac630fc47cd418a554f953 /math | |
| parent | ab0a8871121999fcf12bde661a37fd949e883940 (diff) | |
| download | freebsd-ports-gnome-e8669680fe0b2fc1af84b3cfec65c4ff931d77ad.tar.gz freebsd-ports-gnome-e8669680fe0b2fc1af84b3cfec65c4ff931d77ad.tar.zst freebsd-ports-gnome-e8669680fe0b2fc1af84b3cfec65c4ff931d77ad.zip | |
Drop spark-related ports for removal after 30 Sept
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 \ |