Opened 5 years ago

Closed 5 years ago

#46356 closed defect (fixed)

[Port Abandoned] cvc4

Reported by: mf2k (Frank Schima) Owned by: mdeters@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: cvc4


The maintainer of cvc4 has no Trac activity and has not responded to ticket:45928 in a while.

Change History (1)

comment:1 Changed 5 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.