Package: acl2

"acl2" package binaries on Debian:

/usr/bin/acl2

You may install this package on Debian with apt-get install acl2