source: trunk/dports/math/acl2 @ 14895

Name Size Rev Age Author Last Change
../
Portfile 3.3 KB 8827   15 years gwright Added a note about ":dir :system" style path lookups failing in ACL2. …
Note: See TracBrowser for help on using the repository browser.