Binary: acl2

Debian packages that has this binary:

Package: acl2

/usr/bin/acl2