Re: [MacPorts] #48530: acl2: fetch failure (was: ACL2 fails to build)