[MacPorts] #46356: [Port Abandoned] cvc4
#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
#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
participants (1)
-
MacPorts