Opened 10 years ago

Closed 10 years ago

#44007 closed update (duplicate)

New cudd 2.5.0 is available: please update libcudd

Reported by: rpgoldman Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc: mij@…
Port: libcudd

Description

Somenzi has released CUDD 2.4.2 and now 2.5.0 since the libcudd port has been updated (it's at 2.4.1). Would it be possible to update the port? Thanks!

Change History (1)

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

Resolution: duplicate
Status: newclosed
Type: requestupdate
Version: 2.3.0

Duplicate of #27726.

Note: See TracTickets for help on using tickets.