[MacPorts] #46356: [Port Abandoned] cvc4

[MacPorts]

#46356: [Port Abandoned] cvc4
---------------------+-----------------------
  Reporter:  mf2k@…  |      Owner:  mdeters@…
      Type:  defect  |     Status:  closed
  Priority:  Normal  |  Milestone:
 Component:  ports   |    Version:
Resolution:  fixed   |   Keywords:
      Port:  cvc4    |
---------------------+-----------------------
Changes (by mf2k@…):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 r133572

-- 
Ticket URL: <https://trac.macports.org/ticket/46356#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X