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 |
Note: See
TracTickets for help on using
tickets.
r133572