diff options
| author | linimon <linimon@FreeBSD.org> | 2006-09-05 15:11:22 +0800 |
|---|---|---|
| committer | linimon <linimon@FreeBSD.org> | 2006-09-05 15:11:22 +0800 |
| commit | 9ba57678f9def8c1c41be712ced33ff16b7c3ba4 (patch) | |
| tree | 4f2a730c07fa9c76967103cd31828d26b212b805 /devel/smv | |
| parent | 84779cd88708e66f434541c5fd9ec7fe253a8f66 (diff) | |
| download | freebsd-ports-gnome-9ba57678f9def8c1c41be712ced33ff16b7c3ba4.tar.gz freebsd-ports-gnome-9ba57678f9def8c1c41be712ced33ff16b7c3ba4.tar.zst freebsd-ports-gnome-9ba57678f9def8c1c41be712ced33ff16b7c3ba4.zip | |
Reset inactive maintainer who has not responded to email.
Hat: portmgr
Diffstat (limited to 'devel/smv')
| -rw-r--r-- | devel/smv/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index 071ad3ca0591..9a3e4d7ef9c2 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -11,7 +11,7 @@ CATEGORIES= devel MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/ DISTNAME= ${PORTNAME}.r${PORTVERSION} -MAINTAINER= marc.vanwoerkom@fernuni-hagen.de +MAINTAINER= ports@FreeBSD.org COMMENT= Symbolic Model Verifier System for checking finite state systems WRKSRC= ${WRKDIR}/${PORTNAME} |