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