Hi Nigel, It works fine on my unstable Debian i386 machine: S'està configurant libppl7 (0.10.2-2) ... S'està configurant libppl-c2 (0.10.2-2) ... S'està configurant libcloog-ppl0 (0.15-1) ... S'està configurant cpp-4.4 (4.4.1-1) ... S'està configurant gcc-4.4 (4.4.1-1) ... $ dpkg -l | grep gcc-4.4 ii gcc-4.4 4.4.1-1 The GNU C compiler Cheers, --Héctor Orón