[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 tlockhart1976@…):

 Replying to [comment:9 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.
 Hi Ryan. mij is still listed as a maintainer and the update to 2.5.0 seems
 to have stalled out. What does it need at this point to get restarted? TIA

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