Format: 1.8 Date: Mon, 08 Jul 2013 14:12:38 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl10 Architecture: source Version: 0.11.2-1~precise1 Distribution: precise Urgency: medium Maintainer: Debian GCC Maintainers Changed-By: Rico Tzschichholz Description: libisl-dbg - manipulating sets and relations of integer points bounded by line libisl-dev - manipulating sets and relations of integer points bounded by line libisl10 - manipulating sets and relations of integer points bounded by line Changes: isl (0.11.2-1~precise1) precise; urgency=medium . * Copied from saucy Checksums-Sha1: b68fbbddb68fb481d6287bb5bdf3978910065ffb 1916 isl_0.11.2-1~precise1.dsc 56aa5737d5b2a9285d56f3c76a26f708fa70ea91 16284 isl_0.11.2-1~precise1.debian.tar.gz Checksums-Sha256: 864624faf7d314ccea40d4974da1c69b2aca3139de7c95d93b64be7248660a30 1916 isl_0.11.2-1~precise1.dsc 1922c3dd38a0203b543c23ffd9d89168221da0ba24e22aeee1be488b62a3c532 16284 isl_0.11.2-1~precise1.debian.tar.gz Files: d453b1229674f6634cdfcb949cbb2e12 1916 libs optional isl_0.11.2-1~precise1.dsc 476cf64085b54b975de165e3511b1d98 16284 libs optional isl_0.11.2-1~precise1.debian.tar.gz