#48530: acl2: fetch failure ----------------------------+-------------------------------- Reporter: watsonbladd@… | Owner: macports-tickets@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: duplicate | Keywords: Port: acl2 | ----------------------------+-------------------------------- Changes (by ionic@…): * status: new => closed * resolution: => duplicate Comment: Let's call this a duplicate of #46257... (I will also update the other ticket.) A personal question: Do you really *need* ACL2? -- Ticket URL: <https://trac.macports.org/ticket/48530#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X