#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 | ----------------------------+-------------------------------- Comment (by watsonbladd@…): Replying to [comment:3 ionic@…]:
Let's call this a duplicate of #46257... (I will also update the other ticket.)
A personal question: Do you really *need* ACL2?
The Little Schemer provides J-Bob, but Dracula requires a separate ACL2 program. I suppose I should learn Coq one of these days. -- Ticket URL: <https://trac.macports.org/ticket/48530#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X