[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

[MacPorts]

#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by raimue):

 At this point, it would make more sense to just remove the port from the
 tree. Nobody volunteered to provide an updated version in three years and
 upstream is already lightyears ahead.

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