-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 14 Aug 2018 12:14:35 +0200 Source: isl Binary: libisl-dev libisl19 Architecture: source Version: 0.20-2 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libisl-dev - manipulating sets and relations of integer points bounded by line libisl19 - manipulating sets and relations of integer points bounded by line Closes: 905792 Changes: isl (0.20-2) unstable; urgency=medium . * libisl-dev: Conflict with libcloog-isl-dev. Closes: #905792. Checksums-Sha1: 3f7530f1cf5cb99859e79d5149319ed2128d372a 1842 isl_0.20-2.dsc 0756f1dd2d440b0e1dbc1ebc9ae03db6346b8664 23512 isl_0.20-2.debian.tar.xz 1c36a71f00ca798d5ac4e73de2115dd4b3ff5833 5849 isl_0.20-2_source.buildinfo Checksums-Sha256: 466b881ac0207f9430ae21069e644f17a6e4428544f9802284727381e5d26089 1842 isl_0.20-2.dsc ea2b467fea2395ca08f236f520fcc37e50a1c91cad471a9ee89443bfae8f50af 23512 isl_0.20-2.debian.tar.xz 45cdab15737fcc0928caa271855b2751639fecb737e4cca99aae9c4eadaf7760 5849 isl_0.20-2_source.buildinfo Files: 30c5a19de3caaa32c362d15e41421b22 1842 libs optional isl_0.20-2.dsc b55bb0a9540fcbed7f1a2994e1bff57a 23512 libs optional isl_0.20-2.debian.tar.xz 7dbc77c128ecd8bf1eab2a8fb0644480 5849 libs optional isl_0.20-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltyrGcQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9ZAwEACo7n+z9WSXnxFgo9IYFWsH3WSs+KeL3+Oh FKkvFgEBQil8PppI9XYLHp2c6rP8/KMG/fbqq7sc4zXLkSzc4T61QgVJnfEy9XPK L2eCVAT300cvb63ZbZRWCzsOnaLHdY4Df+NGRDPIBI80QZB6J7W+bzf3S0d9v/Kz F3IRu/iBnxywAZ81cogqh4S0X+BSuE5Va5FbOeiseclY6wtfdgnzhS7Zm+zLqIUH u17CVSIskt/3J1wBHtC6SwNkDxl07dshja/lL98NchullmCizPTqVjF8PB9lIKzX MnjBDcNuM1KtJKitFVATRHubd129P6Zz5giTwiWiv7Of1N6xH7gyQcX3kiCabFRw 1Lcc29bTF+9k4BMStMjJ16fMoGlqpJ9XOLGXxIdtdvQ+cj5bENxX4gVYSLn26CPj BgP1rDtlE2KQe4fNfzbZJvzCZC5sJ3HsehDIfIkW9AJ63C5cTqhhUBvDF6axRSAZ PQLQ+BsT4fTmLbh+YjZJc3ykQ7oRC1Yx1/mSUg86xucfaZej3OmM90OhQ5LZAYxL eMdKVGpIV6RchMiQjMqAYsBgBbIc2/OGSeS54YjrsV98pYnuEGVWAiJWCxgsiUKI vv6IdgtnB9j6urXehKrDeLYZ6erHxG1qtuvjcXGWQ9oFrCUAcc802bCEcp3UKg2N V4gq3rrXSA== =x0VW -----END PGP SIGNATURE-----
