Come instalare libboogie-cil su Debian Unstable (Sid)