[MacPorts] #41653: new port of gr1c
MacPorts
noreply at macports.org
Mon Dec 2 11:04:30 PST 2013
#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
More information about the macports-tickets
mailing list