Opened 10 years ago
Last modified 6 years ago
#46257 closed defect
acl2: fetch from upstream fails, needs update to current version 6.5. — at Version 2
Reported by: | fumbaz0@… | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.3.3 |
Keywords: | Cc: | ||
Port: | acl2 |
Description (last modified by dbevans (David B. Evans))
---> Fetching archive for acl2 ---> Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://packages.macports.org/acl2 ---> Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/acl2 ---> Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from http://lil.fr.packages.macports.org/acl2 ---> Fetching distfiles for acl2 starting special fetch procedure for acl2 Error: org.macports.fetch for port acl2 returned: The requested URL returned error: 404 Not Found
The whole directory in http://packages.macports.org is gone. Was the port removed?
Change History (2)
comment:1 Changed 10 years ago by dbevans (David B. Evans)
comment:2 Changed 10 years ago by dbevans (David B. Evans)
Description: | modified (diff) |
---|---|
Summary: | acl2 port missing → acl2: fetch from upstream fails, needs update to current version 6.5. |
Note: See
TracTickets for help on using
tickets.
Replying to fumbaz0@…:
No, it just hasn't been successfully fetched from the upstream server since the yosemite buildbot came online.
The root cause is that the port so far out of date that this old version has been deleted from upstream. Our port version is 3.5 and the current upstream version is 6.5!!
Port needs to be updated.