[MacPorts] #52667: acl2 misuses platform

[MacPorts]

#52667: acl2 misuses platform
-----------------------+-----------------------
  Reporter:  jeremyhu  |      Owner:  gwright@…
      Type:  defect    |     Status:  closed
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:  2.3.4
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/52667#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS