-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 15 Mar 2018 05:53:30 +0100 Source: isl-0.18 Binary: libisl-0.18-dev libisl15 Architecture: source Version: 0.18-4 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libisl-0.18-dev - manipulating sets and relations of integer points bounded by line libisl15 - manipulating sets and relations of integer points bounded by line Closes: 892933 Changes: isl-0.18 (0.18-4) unstable; urgency=medium . * Update debian/copyright (copied from isl). Closes: #892933. Checksums-Sha1: 775676ff764599e3e1547272a51c349c8be55e9e 1878 isl-0.18_0.18-4.dsc 5c7d9217afa12a626fb0b9226913f9e8d4522514 22220 isl-0.18_0.18-4.debian.tar.xz 61fcc82100bf0d76fd704a756ecad43787b198b9 5608 isl-0.18_0.18-4_source.buildinfo Checksums-Sha256: b93886eeda25761ecbfb4b33514b3eab9ac6a58e8be03693154f0873ae4d322b 1878 isl-0.18_0.18-4.dsc d24372925cf8baa49d8f1d012087049bdd1394a2c525a6ce0d0f853977ae9560 22220 isl-0.18_0.18-4.debian.tar.xz 212df3726e6b1b5bcacb409925b6e6bf2c7fc7e51324f4f98b17939240d013e0 5608 isl-0.18_0.18-4_source.buildinfo Files: daadc0dff2aa738515e1b9d772089895 1878 libs optional isl-0.18_0.18-4.dsc d816a8f4e2ee9fe55809f8683d2f78e7 22220 libs optional isl-0.18_0.18-4.debian.tar.xz 9c3d53ea6bc64d45e92b04e3a4fd39b7 5608 libs optional isl-0.18_0.18-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlqp/JsQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9buPEACTvnD3aLPO1fR/vV5NU3hstR9/FK+21dLd dUItkZhTV5sJ2mbCcO1yVkLPEyXUN/aM/le/I1a1kY0N9sYM75QCotwZU4RzVcvP KtnYCMqT10QXbT1cactyvQ+28ECWtJQrtesPsiNvVxsF0A6xxeE1nxJzjWc5I7h2 Ksiqu9lxCBQK7gHXRamrYaU6ZYw9XE9TiQe/UP242Yas17DXtPkwgwa5oNqRJkLp nW2RhITnO9EpvcCjnGbnGVBx3fXK7qLFowConnDPxNhLcPz6RiSVWiXTDZUSME22 o6ljSTxDcH+2zcSPXPnpS4cAsGIO9XwXoD8bLOghuBQS7kc+9KoRt0Lvtu14vysc HzaFsyF79CIGAH7wpw3NsD3vbdGb5sej/9Tyokl5S8tzvAC9FG3IATry+oL9m9BJ FJOuRsxapradrt6+nN3/gP/3DBbti4CfOf4Yu3RzpKmJLvYY5kLya/QHP5jU0mHX ZMPD4nAryhs5cX1uIXBju7ImgbXQAjcKB06UhMRI8JawYgrlQ+sam/Pjh+n/1iEw Uw15O7z7amQODG0SjOcKTOzNSfQ1BB6yMX6kvgjjggJxJkb22luKh/oP2qsn/lCZ mgoenUHSOxKWMl/EyaYo1KHAuVb9I0V3LgDiGDkwrZmIpKCrQDl7LWMWVd6DGVrx XOSuzVP58g== =fJd9 -----END PGP SIGNATURE-----