[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
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by devans@…):

 Replying to [ticket:46257 fumbaz0@…]:
 >
 >
 > The whole directory in http://packages.macports.org is gone. Was the
 port removed?

 No, it just hasn't been successfully fetched from the upstream server
 since the yosemite buildbot came online.

 The root cause is that the port so far out of date that this old version
 has been deleted from upstream. Our port version is 3.5 and the current
 upstream version is 6.5!!

 Port needs to be updated.

-- 
Ticket URL: <https://trac.macports.org/ticket/46257#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X