Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#48530 closed defect (duplicate)

acl2: fetch failure

Reported by: wbl (Watson Ladd) Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.3.3
Keywords: Cc:
Port: acl2

Description (last modified by Ionic (Mihai Moldovan))

ACL2 distfile returns 404.

Attachments (1)

main.log​ (2.5 KB) - added by wbl (Watson Ladd) 9 years ago.
Log

Download all attachments as: .zip

Change History (5)

Changed 9 years ago by wbl (Watson Ladd)

Attachment: main.log​ added

Log

comment:1 Changed 9 years ago by Ionic (Mihai Moldovan)

Cc: nomaintainer@… removed

nomaintainer and openmaintainer are pseudo addresses. It's good that you tried CC'ing the maintainer(s), but please never CC these.

comment:2 Changed 9 years ago by Ionic (Mihai Moldovan)

Description: modified (diff)
Summary: ACL2 fails to build → acl2: fetch failure

comment:3 Changed 9 years ago by Ionic (Mihai Moldovan)

Resolution: → duplicate
Status: new → closed

Let's call this a duplicate of #46257... (I will also update the other ticket.)

A personal question: Do you really *need* ACL2?

comment:4 in reply to:  3 Changed 9 years ago by wbl (Watson Ladd)

Replying to 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.

Note: See TracTickets for help on using tickets.