diff options
| author | marino <marino@FreeBSD.org> | 2016-02-29 19:53:22 +0000 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-02-29 19:53:22 +0000 |
| commit | ff4befc38399c888218a159886763cbdd38b1fbd (patch) | |
| tree | fd15e4c9354f6f31b9a77ea89cc37b01912c2af6 | |
| parent | 5d9024670a42513ed591b942164c12774479dfd1 (diff) | |
| download | FreeBSD-ports-ff4befc38399c888218a159886763cbdd38b1fbd.zip FreeBSD-ports-ff4befc38399c888218a159886763cbdd38b1fbd.tar.gz | |
lang/spark: extend expiration by 8 months
I'm still working on this port and I'm chasing down some runtime
segfaults which are not trivial to diagnose and fix.
| -rw-r--r-- | lang/spark/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index 4415750..8da388a 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -17,7 +17,7 @@ LICENSE= GPLv3 BROKEN= brutally fails test suite - with ICE DEPRECATED= Broken for more than 6 months -EXPIRATION_DATE= 2016-02-29 +EXPIRATION_DATE= 2016-10-29 BUILD_DEPENDS= gnatcoll>=2014:${PORTSDIR}/devel/gnatcoll RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-spark \ |
