-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 09 Mar 2018 09:44:38 +0700 Source: isl Binary: libisl-dev libisl19 Architecture: source Version: 0.19-1 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: 892375 Changes: isl (0.19-1) unstable; urgency=medium . * New upstream release. * Update debian/copyright. Closes: #892375. * Stop building the debug package, move the pretty printers to the library package. * Bump the libisl soname. Checksums-Sha1: 6e3d57d5559c9847dc12da67fec127ff15e05066 1833 isl_0.19-1.dsc 88048de4db814bcc31103b8d5bc9c02b75c8f7e1 22388 isl_0.19-1.debian.tar.xz 8ef370c9e59ad87d05737afd42744986d9aedc09 5583 isl_0.19-1_source.buildinfo Checksums-Sha256: f9786677430e2ea7295c6ad9480e7e710582f84b5b850a5ddfe1f21b3d726b0f 1833 isl_0.19-1.dsc aa034a5700c63867aae836a1f985fccc50ccacd1abe57a2a016e076fa745feb0 22388 isl_0.19-1.debian.tar.xz 0f5176e91f77a3969c985ce83cfd2a37f6cdea15f1a6409ad218365e340899ae 5583 isl_0.19-1_source.buildinfo Files: 13984450b8bf9f80e17dd8ad1701c991 1833 libs optional isl_0.19-1.dsc 14e4086edb06ea6f7e23973d0801e80f 22388 libs optional isl_0.19-1.debian.tar.xz 14f1075f22fcea78f3cfde3cc8498717 5583 libs optional isl_0.19-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlqpa24QHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9XqpD/4jmTQ1hnV4HAwBiZ1PXseCYci3zwNrrJPF g5Z7ytCQZE428fXJtt/GSCb18N7aJbq9gxwHSWujhNLB+f9aohSw3KSMGi25ZXNZ QvMM0PzW6a7ZYAiOZ/8vRLnZlg/N1G/vXyiMr7ouzAUt6ILDhFrFmDSCGYBMJEQg 0vgzAOZtnWPv0QZTuNYY++oK5X/MmYKhTzfqgS1UKixkrjHNJrbLB8aQRNpZ4Ogx UTHi9AvL9XOq1o/KHDrmer4SUWaD5QXn5lTic+Hgj1s77OXRf9Q2PRvq85w9UucW gMnoi3+5gs7B6kvfFDnkkbTFYUxhXtYQnvmIqZ6WS+OwrNMF79VWdaXvOuNyCTho 5EFgxMA/s/l+Ec3fRnz/wQAw/2cdjU8Ws5Y13/E9Yt7R8uKxoohagy4VeUxWADhX 1XBA+fbqwgpTDV59AkMpLQx+cTCOR5dcxvPyw06Zo9j7WBer9g1hsUUsXM3TCAup lahRSzZlZJdjC3N8ubVqUMgibsW1EtwBLbyqInW9lhdWG69GZAYJEbvqZnAsJVc2 H5TOBP7VvDnkT6CTce1eMrbNN0sf/g2sEoKmoTSZXoY1ewqTHXDKZuPL2W0PUAqj 6KCLt3I5NWY0GkWeb/NUQFLJSfHsV7hFTNN/mRiXSUDzkSGYP7GUykM4bGs+Dt7L dFU+Gnonjg== =eFZf -----END PGP SIGNATURE-----
