[MacPorts] #27726: libcudd should be updated to 2.5.0

MacPorts noreply at macports.org
Wed Dec 11 14:14:47 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 ryandesign@…):

 mij is the person listed as this port's maintainer, and he owns this
 ticket so he has received an email about each comment in this ticket, but
 he has not responded to this ticket in three years so I fear he has left
 us. I will try to update the port using your patches. Thanks.

-- 
Ticket URL: <https://trac.macports.org/ticket/27726#comment:9>
MacPorts <http://www.macports.org/>
Ports system for OS X


More information about the macports-tickets mailing list