[MacPorts] #48530: ACL2 fails to build
#48530: ACL2 fails to build ---------------------------+-------------------------------- Reporter: watsonbladd@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Keywords: | Port: acl2 ---------------------------+-------------------------------- ACL2 fails to build. A log is attached, -- Ticket URL: <https://trac.macports.org/ticket/48530> MacPorts <https://www.macports.org/> Ports system for OS X
#48530: ACL2 fails to build ----------------------------+-------------------------------- Reporter: watsonbladd@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ----------------------------+-------------------------------- Changes (by ionic@…): * cc: nomaintainer@… (removed) Comment: `nomaintainer` and `openmaintainer` are pseudo addresses. It's good that you tried CC'ing the maintainer(s), but please never CC these. -- Ticket URL: <https://trac.macports.org/ticket/48530#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#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
#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
#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
participants (1)
-
MacPorts