Changes between Initial Version and Version 1 of Ticket #41653
- Timestamp:
- Dec 3, 2013, 6:10:29 AM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #41653
- Property Port gr1c added
-
Ticket #41653 – Description
initial v1 1 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/277261 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, #27726