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

[MacPorts]

#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