Come instalare acl2-infix su Debian Unstable (Sid)