diff options
| author | miwi <miwi@FreeBSD.org> | 2010-02-26 17:30:28 +0800 |
|---|---|---|
| committer | miwi <miwi@FreeBSD.org> | 2010-02-26 17:30:28 +0800 |
| commit | 4653798fcf3436d6a77a0b760fb1d75f2c82fcb2 (patch) | |
| tree | 1285944a698a14f66715c3a98cb67003300167f0 /math/proofgeneral | |
| parent | 6a1c0dff1b015a38bb0871cfaeccfab07b429689 (diff) | |
| download | freebsd-ports-gnome-4653798fcf3436d6a77a0b760fb1d75f2c82fcb2.tar.gz freebsd-ports-gnome-4653798fcf3436d6a77a0b760fb1d75f2c82fcb2.tar.zst freebsd-ports-gnome-4653798fcf3436d6a77a0b760fb1d75f2c82fcb2.zip | |
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 4a2f3cb26bc5..ae3979cf0b3a 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} |