#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