PRGNAM="acl2"
VERSION="8.5"
HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/v8-5/"
DOWNLOAD="https://github.com/acl2-devel/acl2-devel/releases/download/8.5/acl2-8.5.tar.gz"
MD5SUM="ec2c62dbdffdc345252bc5a68ad830fc"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="sbcl"
MAINTAINER="Lockywolf"
EMAIL="for_sbo.acl2_2023-07-16@lockywolf.net"