Opened 9 years ago
Last modified 6 years ago
#46257 closed defect
acl2 port missing — at Initial Version
| Reported by: | fumbaz0@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.3.3 |
| Keywords: | Cc: | ||
| Port: | acl2 |
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?
Note: See
TracTickets for help on using
tickets.