diff options
Diffstat (limited to 'devel/uppaal/Makefile')
-rw-r--r-- | devel/uppaal/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile index b87a4f0ffac1..46520fa0ca91 100644 --- a/devel/uppaal/Makefile +++ b/devel/uppaal/Makefile @@ -10,7 +10,7 @@ PORTVERSION= 4.0.10 CATEGORIES= devel java linux DISTNAME= uppaal-${PORTVERSION}-aca -MAINTAINER= timbob@bigpond.com +MAINTAINER= ports@FreeBSD.org COMMENT= Tool environment for modeling and verifying timed automata USE_ZIP= yes |