[MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2
MacPorts
noreply at macports.org
Sun May 21 16:18:22 UTC 2017
#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 |
------------------------+--------------------------------
Changes (by kurthindenburg):
* cc: kurthindenburg (added)
Comment:
Likely change to use https://github.com/acl2/acl2/ - someone who knows
lisp is going to have to try to update this - the build/port seems quite
non-trival
--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:6>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list