Opened 9 years ago
Last modified 9 years ago
#48530 closed defect
ACL2 fails to build — at Initial Version
Reported by: | wbl (Watson Ladd) | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.3.3 |
Keywords: | Cc: | nomaintainer@… | |
Port: | acl2 |
Description
ACL2 fails to build. A log is attached,
Note: See
TracTickets for help on using
tickets.
Log