Come instalare libtrilinos-galeri12 su Debian Unstable (Sid)