Opened 9 years ago
Last modified 9 years ago
#48530 closed defect
acl2: fetch failure — at Version 2
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.
Change History (3)
Changed 9 years ago by wbl (Watson Ladd)
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 |
Note: See
TracTickets for help on using
tickets.
Log