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

[MacPorts]

#46257: acl2: fetch from upstream fails, needs update to current version 8.0
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  closed
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:  fixed      |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------
Changes (by JacksonIsaac):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports"
 dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="dde0adcf298d6d31e881e073e41d6523490d7568"
 acl2: Update to 8.0

 - update to version 8.0
 - Use PortGroup GitHub
 - Add License
 - extracted directory is ${name}-devel-${version} instead of
   ${name}-${version}
 - /books is included in tarball for versions 7.0 and above
 - Add notes for +nonstd variant when run without +ccl

 Closes: https://trac.macports.org/ticket/46257
 Closes: https://trac.macports.org/ticket/52667
 }}}

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