diff options
| author | antoine <antoine@FreeBSD.org> | 2014-05-11 00:09:48 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-05-11 00:09:48 +0800 |
| commit | 3262819edc2c10d6dd7573f05c28e64366ec15f3 (patch) | |
| tree | 001b23bcd5710f829998196c093f86a75b7fcff8 /lang | |
| parent | 33577e310f7388c3da13ab24abdd2065ecac13fc (diff) | |
| download | freebsd-ports-gnome-3262819edc2c10d6dd7573f05c28e64366ec15f3.tar.gz freebsd-ports-gnome-3262819edc2c10d6dd7573f05c28e64366ec15f3.tar.zst freebsd-ports-gnome-3262819edc2c10d6dd7573f05c28e64366ec15f3.zip | |
Maintainer no longer wishes to maintain those ports
With hat: portmgr
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/twelf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 7554b8188ae7..aefd74a9f0ab 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -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) |