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

[MacPorts]

#27726: libcudd should be updated to 2.5.0
---------------------------+--------------------------------
  Reporter:  ryandesign@…  |      Owner:  macports-tickets@…
      Type:  update        |     Status:  new
  Priority:  Normal        |  Milestone:
 Component:  ports         |    Version:
Resolution:                |   Keywords:  haspatch
      Port:  libcudd       |
---------------------------+--------------------------------

Comment (by jfilippidis@…):

 Since libcudd has been abandoned by its original maintainer, and a patch
 already exists here, can you please update libcudd in the macports
 repository ? We are waiting for nearly a year now for the libcudd patch
 submitted above to be applied, so that #41653 can be included in macports.
 Thanks.

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