diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2016-06-27 21:30:34 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2016-06-27 21:30:34 +0000 |
| commit | a01b22a05259e8b8b76cfadccd22f4df4309c55e (patch) | |
| tree | c41943c00a390851e85561a8bb285cbf37b82724 /math/ltl2ba/Makefile | |
| parent | 56f2748d5194b9d5187e449ee838de0694783516 (diff) | |
| download | ports-a01b22a05259e8b8b76cfadccd22f4df4309c55e.tar.gz ports-a01b22a05259e8b8b76cfadccd22f4df4309c55e.zip | |
Reset ports maintained by bf@ until he has time again to work on them.
PR: 210474
Submitted by: jbeich
With hat: portmgr-secretary
Notes
Notes:
svn path=/head/; revision=417685
Diffstat (limited to 'math/ltl2ba/Makefile')
| -rw-r--r-- | math/ltl2ba/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/ltl2ba/Makefile b/math/ltl2ba/Makefile index 6881dd28ee53..bad089dff5af 100644 --- a/math/ltl2ba/Makefile +++ b/math/ltl2ba/Makefile @@ -6,7 +6,7 @@ PORTVERSION= 1.1 CATEGORIES= math MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LOCAL/bf -MAINTAINER= bf@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Fast translation from LTL formulae to Buechi automata LICENSE= GPLv2 |