[MacPorts] #44007: New cudd 2.5.0 is available: please update libcudd

#44007: New cudd 2.5.0 is available: please update libcudd -------------------------+-------------------------------- Reporter: rpgoldman@… | Owner: macports-tickets@… Type: request | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.0 Keywords: | Port: libcudd -------------------------+-------------------------------- 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! -- Ticket URL: <https://trac.macports.org/ticket/44007> MacPorts <http://www.macports.org/> Ports system for OS X