[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 6.5. (was: acl2 port missing)

[MacPorts]

#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