diff options
| author | antoine <antoine@FreeBSD.org> | 2015-01-30 02:07:02 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2015-01-30 02:07:02 +0800 |
| commit | 44c5c00627bdcbf23f16a32d167937ebe68f0e9d (patch) | |
| tree | 153e5f0e87d140dba813020d921894f4d268978a /math | |
| parent | d4a36f5620571e5aefaad96a4e50986b453aec14 (diff) | |
| download | freebsd-ports-gnome-44c5c00627bdcbf23f16a32d167937ebe68f0e9d.tar.gz freebsd-ports-gnome-44c5c00627bdcbf23f16a32d167937ebe68f0e9d.tar.zst freebsd-ports-gnome-44c5c00627bdcbf23f16a32d167937ebe68f0e9d.zip | |
Deprecate ports broken for more than 6 months
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index b4644a5e56eb..9f44e9f3b0d5 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -16,6 +16,8 @@ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYRIGHT BROKEN= Build seems to hang on the package builders +DEPRECATED= Broken for more than 6 months +EXPIRATION_DATE= 2015-02-28 OPTIONS_DEFINE= POLYML RLWRAP LEDIT HOL_ALGEBRA HOL_NOMINAL HOL_NSA HOL_WORD \ HOL_TLA HOL_HOL4 EMACS_PKG |