[MacPorts] #41653: new port of gr1c

[MacPorts]

#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