-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 01 Jun 2016 23:00:24 +0200 Source: isl Binary: libisl-dev libisl-dbg libisl15 Architecture: source Version: 0.17.1-1 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> 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 libisl15 - manipulating sets and relations of integer points bounded by line Changes: isl (0.17.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: daac0fecb4c5660fd9110cd461cbbaa29eecd993 1857 isl_0.17.1-1.dsc 62ff0dfb53cdae7c03bb769abb9e7ced075488db 1440564 isl_0.17.1.orig.tar.xz 431f3190ea1e839412bf84fa964a2cda9ce8d3c0 21556 isl_0.17.1-1.debian.tar.xz Checksums-Sha256: 771ec7a63dd99952bd2bf952aeb48ed08c5c24b6a4d7ced9b0210df5bb71df46 1857 isl_0.17.1-1.dsc be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647 1440564 isl_0.17.1.orig.tar.xz f63c2e46a065855561ba3ae72fe073c334231911866af34f3ec7db539bee6200 21556 isl_0.17.1-1.debian.tar.xz Files: 614d73b9fcb1c9912309e1b9473a2c9d 1857 libs optional isl_0.17.1-1.dsc 20b83900e234f982a566a3a6b3503bf1 1440564 libs optional isl_0.17.1.orig.tar.xz 8d6814a184abcd5478b8373d4ef54490 21556 libs optional isl_0.17.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXT04hAAoJEL1+qmB3j6b1FIgQANE3F4cU1W8UblAEoOL84U3d bw68x8l0FZRf2OSf5cJBfimWD/aogibD7YGXnA6fx4rhDxO+f5Z7namrR/dCCbOZ y8S8KLJXgVtU21VgRgimOredOHWX3ZYzK9sgBoVsA3+6XGQeTB/OdPi9G/fJfkZc sUBg+6yN2AYC9VEYQhK0FvBqxK4gxPkHqjyekjSPrc127EK+tLuhJLSGML71DcZC qmGmqiA1c+GVZIH6gtzXUSpDmLFNt672yQzzQGXnRI02fQDb+hvZ4kud9E6bCfxr +KwtQyrNSkVmkHd8dSif1pv7Gj3Xxw6nYbJ2iX7Qpv/i5BLnFNfvkNigctPhuyzJ 5KuS4RtXwC6b+vuLozEjrXO8IW/WLnaz/f8Nxt1qSZSOJwfH1y3DmamWBcAhhL7m Eq3pdBTST0M3NW8kM+xRc18Ix6rOZqjXFjt0qONxpOZ2RCDKvmam4iFPKAFzUKRc SjtjbNt83CSm4WDKMpm5+YSufLmhgfLuHOvbX+W0WZyHBmvZVLzjRsJatfHOO1Kg lkEWuWJjv4c/hkre7Ll9sFtc2MZvuWF35PuX61olBkOcRboZveCQJb+4v7K//bt6 aoE4e5fGez7umrdaXYNzOhhtfp+Zp6Xp0nEgmWgYnBv/2k8jMHQn6cBdKyAQMAon AoiSTeraYndVqFMtwzk2 =6jQp -----END PGP SIGNATURE-----
