diff options
| -rw-r--r-- | lang/polyml/Makefile | 2 | ||||
| -rw-r--r-- | math/isabelle/Makefile | 2 | ||||
| -rw-r--r-- | math/proofgeneral/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 816e877fcc8..548c4363980 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -12,7 +12,7 @@ MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} DIST_SUBDIR= ${PORTNAME} -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert.cs.ucr.edu COMMENT= Fast open-source implementation of Standard ML GNU_CONFIGURE= yes diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index b3c65d44607..a6e8b056a0b 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -19,7 +19,7 @@ DISTFILES= Isabelle2009.tar.gz \ Isabelle2009_pdf.tar.gz .endif -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert@cs.ucr.edu COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of faster Poly/ML" off diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 4a2f3cb26bc..ae3979cf0b3 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -13,7 +13,7 @@ MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ DISTNAME= ProofGeneral-3.7.1 EXTRACT_SUFX= .tgz -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert@cs.ucr.edu COMMENT= A generic interface for proof assistants PKGNAMESUFFIX+= -${EMACS_NAME} |