[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
#44007: New cudd 2.5.0 is available: please update libcudd --------------------------+-------------------------------- Reporter: rpgoldman@… | Owner: macports-tickets@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: duplicate | Keywords: Port: libcudd | --------------------------+-------------------------------- Changes (by mf2k@…): * status: new => closed * type: request => update * version: 2.3.0 => * resolution: => duplicate Comment: Duplicate of #27726. -- Ticket URL: <https://trac.macports.org/ticket/44007#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts