[MacPorts] #16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams

[MacPorts]

#16210: [new port] devel/libcudd -- An efficient library for manipulating decision
diagrams
----------------------------+-----------------------------------------------
  Reporter:  mij at bitchx.it  |       Owner:  macsforever2000 at macports.org
      Type:  enhancement    |      Status:  closed                      
  Priority:  Normal         |   Milestone:  Port Submissions            
 Component:  ports          |     Version:  1.6.0                       
Resolution:  fixed          |    Keywords:  port cudd                   
----------------------------+-----------------------------------------------
Changes (by macsforever2000 at macports.org):

  * status:  assigned => closed
  * resolution:  => fixed

Comment:

 Committed revision r39298. Thanks for the contribution!

-- 
Ticket URL: <http://trac.macports.org/ticket/16210#comment:5>
MacPorts <http://www.macports.org/>
Ports system for Mac OS