[MacPorts] #46257: acl2 port missing

[MacPorts]

#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