[MacPorts] #27726: libcudd should be updated to 2.5.0
MacPorts
noreply at macports.org
Fri Jan 31 17:04:39 PST 2014
#27726: libcudd should be updated to 2.5.0
---------------------------+----------------------
Reporter: ryandesign@… | Owner: mij@…
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords: haspatch
Port: libcudd |
---------------------------+----------------------
Comment (by ryandesign@…):
Duplicate #42337 provides a new portfile to update the port, but I have
not tested it.
--
Ticket URL: <https://trac.macports.org/ticket/27726#comment:10>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list