mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-21 08:42:23 +00:00
Code Issues Releases Activity

- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)

Browse Source 
PR:		143994 143995 143996
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:	yes
This commit is contained in:
Martin Wilke 2010-02-26 09:30:28 +00:00
parent ace28c0cc5
commit b08635b913
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=250361
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lang/polyml/Makefile
View File

@ -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

2
math/isabelle/Makefile
View File

@ -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

2
math/proofgeneral/Makefile
View File

@ -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}