Opened 10 years ago

Closed 10 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

Description

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

Change History (1)

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

Resolution: → fixed
Status: new → closed

r133572

Note: See TracTickets for help on using tickets.