[MacPorts] #27726: libcudd should be updated to 2.5.0
MacPorts
noreply at macports.org
Wed Dec 11 14:06:28 PST 2013
#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 SCL@…):
Should I try to contact the libcudd port maintainer directly (by email)?
Given the comment by ryandesign on this ticket 2 months ago, I am also
curious whether mij is the libcudd port maintainer.
--
Ticket URL: <https://trac.macports.org/ticket/27726#comment:8>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list