[133572] trunk/dports/math/cvc4/Portfile

[mf2k at macports.org]

Revision: 133572
          https://trac.macports.org/changeset/133572
Author:   mf2k at macports.org
Date:     2015-03-05 10:41:38 -0800 (Thu, 05 Mar 2015)
Log Message:
-----------
cvc4: Port abandoned. (#46356)

Modified Paths:
--------------
    trunk/dports/math/cvc4/Portfile

Modified: trunk/dports/math/cvc4/Portfile
===================================================================
--- 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 \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150305/4980bb5d/attachment.html>