How to install acl2-infix-source on Debian Unstable (Sid)