Modified: trunk/dports/math/cvc4/Portfile (133571 => 133572)

--- trunk/dports/math/cvc4/Portfile	2015-03-05 16:49:46 UTC (rev 133571)
+++ trunk/dports/math/cvc4/Portfile	2015-03-05 18:41:38 UTC (rev 133572)
@@ -7,7 +7,7 @@
 version             1.4
 categories          math devel
 platforms           darwin
-maintainers         cs.nyu.edu:mdeters
+maintainers         nomaintainer
 description         An automated theorem prover for SMT problems
 long_description    CVC4 is a tool for determining the satisfiability of a first order formula \
                     modulo a first order theory (or a combination of such theories). It is the \