#41653: new port of gr1c ------------------------+-------------------------------- Reporter: SCL@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Keywords: | Port: ------------------------+-------------------------------- I created a new port for gr1c (http://scottman.net/2012/gr1c ; http://slivingston.github.io/gr1c/). It depends on libcudd, the Portfile of which I updated for version 2.5.0 of CUDD and posted it at what seems to be the most relevant ticket, https://trac.macports.org/ticket/27726 -- Ticket URL: <https://trac.macports.org/ticket/41653> MacPorts <http://www.macports.org/> Ports system for OS X