Snippets for acl2 8.6 from Nix aarch64-darwin

Sourced from https://hydra.nixos.org/log/vmqpxlspm5jc1mxydssr7srxpxcqmvq9-acl2-8.6.drv.