diff options
author | kris <kris@FreeBSD.org> | 2006-12-10 03:57:26 +0800 |
---|---|---|
committer | kris <kris@FreeBSD.org> | 2006-12-10 03:57:26 +0800 |
commit | a61fb8bf4d0582c626d6cb590bc4248dc6a22b28 (patch) | |
tree | 34524a9a83c844d13ed3fa52c5e0b58b3361354f /math/proofgeneral | |
parent | d2f1155b2acf931ecb2d584ac44c9f5ac7796dae (diff) | |
download | freebsd-ports-gnome-a61fb8bf4d0582c626d6cb590bc4248dc6a22b28.tar.gz freebsd-ports-gnome-a61fb8bf4d0582c626d6cb590bc4248dc6a22b28.tar.zst freebsd-ports-gnome-a61fb8bf4d0582c626d6cb590bc4248dc6a22b28.zip |
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem.
Diffstat (limited to 'math/proofgeneral')
-rw-r--r-- | math/proofgeneral/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 4e138e08446a..6e947ecedb1a 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -21,6 +21,8 @@ BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash RUN_DEPENDS+= ${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier BROKEN= Incomplete pkg-plist +DEPRECATED= Needs to be rewritten to not include bsd.emacs.mk +EXPIRATION_DATE=2007-02-07 .include <bsd.port.pre.mk> |