Opened 8 years ago

Closed 8 years ago

Last modified 8 years ago

#44781 closed defect (fixed)

[Port Abandoned] libcudd

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


The maintainer of libcudd has not responded to tickets in years.

Change History (2)

comment:1 Changed 8 years ago by lockhart (Thomas Lockhart)

#27726 is waiting on resolving this issue. Thanks!

comment:2 Changed 8 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed

r124731. mij confirmed via email that she no longer has time to maintain this port.

Last edited 8 years ago by mf2k (Frank Schima) (previous) (diff)
Note: See TracTickets for help on using tickets.