Revision: 133572 https://trac.macports.org/changeset/133572 Author: mf2k@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 \