[MacPorts] #48530: acl2: fetch failure (was: ACL2 fails to build)
MacPorts
noreply at macports.org
Sat Aug 8 13:01:51 PDT 2015
#48530: acl2: fetch failure
----------------------------+--------------------------------
Reporter: watsonbladd@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: | Keywords:
Port: acl2 |
----------------------------+--------------------------------
Description changed by ionic@…:
Old description:
> ACL2 fails to build. A log is attached,
New description:
ACL2 distfile returns 404.
--
--
Ticket URL: <https://trac.macports.org/ticket/48530#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list