[MacPorts] #46257: acl2 port missing
#46257: acl2 port missing -----------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Keywords: | Port: acl2 -----------------------+-------------------------------- {{{ ---> 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? -- Ticket URL: <https://trac.macports.org/ticket/46257> MacPorts <https://www.macports.org/> Ports system for OS X
#46257: acl2 port missing ------------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ------------------------+-------------------------------- Comment (by devans@…): Replying to [ticket:46257 fumbaz0@…]:
The whole directory in http://packages.macports.org is gone. Was the
port removed? 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. -- Ticket URL: <https://trac.macports.org/ticket/46257#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#46257: acl2: fetch from upstream fails, needs update to current version 6.5. ------------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ------------------------+-------------------------------- Description changed by devans@…: Old description:
{{{ ---> 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?
New description: {{{ ---> 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? -- -- Ticket URL: <https://trac.macports.org/ticket/46257#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#46257: acl2: fetch from upstream fails, needs update to current version 6.5. ------------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ------------------------+-------------------------------- Changes (by ionic@…): * cc: watsonbladd@… (added) Comment: Has duplicate #48530. -- Ticket URL: <https://trac.macports.org/ticket/46257#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
#46257: acl2: fetch from upstream fails, needs update to current version 7.1. ------------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ------------------------+-------------------------------- Comment (by ionic@…): Current version is 7.1 right now... -- Ticket URL: <https://trac.macports.org/ticket/46257#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
#46257: acl2: fetch from upstream fails, needs update to current version 7.2 ------------------------+-------------------------------- Reporter: fumbaz0@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: acl2 | ------------------------+-------------------------------- -- Ticket URL: <https://trac.macports.org/ticket/46257#comment:5> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts