Como instalar acl2-infix no Debian Unstable (Sid)