Ticket #16967 (closed enhancement: fixed)
patch to upgrade acl2 port to v3.4
|Reported by:||dbueno@…||Owned by:||gwright@…|
The latest version of acl2 is 3.4. The attached patch upgrades the port to this version. It doesn't change any of the build process of the port (except a small bug when the nonstd variant is set); just fetches the new files and updates the checksums.