[MacPorts] #48530: ACL2 fails to build
MacPorts
noreply at macports.org
Sat Aug 8 12:52:52 PDT 2015
#48530: ACL2 fails to build
----------------------------+--------------------------------
Reporter: watsonbladd@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: | Keywords:
Port: acl2 |
----------------------------+--------------------------------
Changes (by ionic@…):
* cc: nomaintainer@… (removed)
Comment:
`nomaintainer` and `openmaintainer` are pseudo addresses. It's good that
you tried CC'ing the maintainer(s), but please never CC these.
--
Ticket URL: <https://trac.macports.org/ticket/48530#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list