#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