source: trunk/dports/devel/libcudd

Name Size Rev Age Author Last Change
../
files 126020   3 years ryandesign libcudd: update to 2.5.0 (#27726); don't use nonexistent optimization …
Portfile 3.2 KB 126020   3 years ryandesign libcudd: update to 2.5.0 (#27726); don't use nonexistent optimization …
Note: See TracBrowser for help on using the repository browser.