#16210: [new port] devel/libcudd -- An efficient library for manipulating decision diagrams ----------------------------+----------------------------------------------- Reporter: mij@bitchx.it | Owner: macports-tickets@lists.macosforge.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Submissions Component: ports | Version: 1.6.0 Resolution: | Keywords: port cudd ----------------------------+----------------------------------------------- Comment (by mij@bitchx.it): The "patch-Makefile" file attached is a patch belonging to the old port. For the new one, the following files are valid: - Portfile - *.diff -- Ticket URL: <http://trac.macports.org/ticket/16210#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS