MFH: r353576

Maintainer no longer wishes to maintain those ports

With hat:	portmgr
This commit is contained in:
Antoine Brodin 2014-05-10 16:11:11 +00:00
parent c34ce3ab08
commit 323b1ec9e6
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/branches/2014Q2/; revision=353577
2 changed files with 2 additions and 2 deletions

View file

@ -8,7 +8,7 @@ CATEGORIES= lang
MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
DISTNAME= twelf-1-5R1
MAINTAINER= andrewb@cs.cmu.edu
MAINTAINER= ports@FreeBSD.org
COMMENT= A meta-logical framework for deductive systems
.if defined(WITH_MLTON)

View file

@ -9,7 +9,7 @@ MASTER_SITES= ${MASTER_SITE_GNU}
MASTER_SITE_SUBDIR= ${PORTNAME}
PKGNAMEPREFIX= emacs-
MAINTAINER= andrewb@cs.cmu.edu
MAINTAINER= ports@FreeBSD.org
COMMENT= Arbitrary-precision calculator for Emacs
CONFLICTS= emacs-22.* xemacs-packages-\*