[MacPorts] #44007: New cudd 2.5.0 is available: please update libcudd
MacPorts
noreply at macports.org
Thu Jun 12 14:16:49 PDT 2014
#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
More information about the macports-tickets
mailing list