Changes between Initial Version and Version 2 of Ticket #48530
- Timestamp:
- Aug 8, 2015, 8:01:50 PM (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #48530
- Property Cc nomaintainer@… removed
-
Property
Summary
changed from
ACL2 fails to buildtoacl2: fetch failure
-
Ticket #48530 – Description
initial v2 1 ACL2 fails to build. A log is attached,1 ACL2 distfile returns 404.