gcc-4.8 (4.8.4-2ubuntu1~14.04.4~ppa1204+2) precise; urgency=medium * Use libcloog-isl-dev-lts on precise * Disable with_check for PPA uploads -- Thorsten Glaser <email address hidden> Sat, 31 Mar 2018 20:14:38 +0200