[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2 (was: acl2: fetch from upstream fails, needs update to current version 7.1.)
MacPorts
noreply at macports.org
Wed Mar 2 08:38:09 PST 2016
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
Reporter: fumbaz0@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: | Keywords:
Port: acl2 |
------------------------+--------------------------------
--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:5>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list