Come instalare mcrl2 su Debian Unstable (Sid)