[MacPorts] #46356: [Port Abandoned] cvc4

[MacPorts]

#46356: [Port Abandoned] cvc4
--------------------+-----------------------
 Reporter:  mf2k@…  |      Owner:  mdeters@…
     Type:  defect  |     Status:  new
 Priority:  Normal  |  Milestone:
Component:  ports   |    Version:
 Keywords:          |       Port:  cvc4
--------------------+-----------------------
 The maintainer of cvc4 has no Trac activity and has not responded to
 ticket:45928 in a while.

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