[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.1. (was: acl2: fetch from upstream fails, needs update to current version 6.5.)
MacPorts
noreply at macports.org
Sat Aug 8 13:10:14 PDT 2015
#46257: acl2: fetch from upstream fails, needs update to current version 7.1.
------------------------+--------------------------------
Reporter: fumbaz0@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: | Keywords:
Port: acl2 |
------------------------+--------------------------------
Comment (by ionic@…):
Current version is 7.1 right now...
--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list