-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 03 Aug 2018 07:17:23 +0200 Source: isl Binary: libisl-dev libisl19 Architecture: source Version: 0.20-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 Changes: isl (0.20-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 8a4d1dede779565e48f5356441d250276fda9932 1842 isl_0.20-1.dsc 1cb65006e8b047a52534e9a237748e56cfbd2754 1539064 isl_0.20.orig.tar.xz 9fbaf26e365ff04e932afa0ac67af4b609eecb0d 23388 isl_0.20-1.debian.tar.xz f292134f27d2d45f2170c682b6725a88ef6a916e 5841 isl_0.20-1_source.buildinfo Checksums-Sha256: c66951276948a738e30a6762251504ebbf157ceedc46babfda7d5a70318c8cb2 1842 isl_0.20-1.dsc a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa 1539064 isl_0.20.orig.tar.xz 6d39736c454b34d07a96abc5eec7c2355d01a9ecf9d2b34581d530bdbf1aff23 23388 isl_0.20-1.debian.tar.xz 30c20341477ae2082504c4699e89b7bf5f5805b73bd79de1845e9abbf29d754d 5841 isl_0.20-1_source.buildinfo Files: 5cd4e0973c7e889ea2ed6a8f9863f0f1 1842 libs optional isl_0.20-1.dsc 2ee25141b7d1688afb63e5bf3ac12999 1539064 libs optional isl_0.20.orig.tar.xz 916b2814a0f5d408d05464e65f9cc3ca 23388 libs optional isl_0.20-1.debian.tar.xz 3a949f98f84c7ca601e0e1dafddac9f7 5841 libs optional isl_0.20-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltj6gcQHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9XfDD/9pZd9Fi+Si4WfprgMUCchQcurR5LY8ME+s Kz3tq7W1RSSNFfVXgLs2u1KdIV1GyVM2u+qO+J55qTijPAuRetJBlTsMGGIEycN9 thXeZ2+yTYFeDkuyOy0v3sIuasVWx71MmsBliWeb1AB09HQUNk2ua5+Vxlra03S+ WKIRakQ4xQbGyYBAgjtvDqJebBt7artCoQpZXgi0+PFf2z9JXoY0VNSe4+iERU7b sF6+8Rzau5+VTnU3WTvDXSOi9kdp09rbY3MXSroT58IgeA272oYzhYipSP5kgC0H ouRcbegQRvwaj/Ip+NOrMCuIdlMfNlndAvWH5ISkArtoMPCzTwgGDAGfSWpqygu9 p1t85w4zOxb2QslS8X+CjIYioFvM+rAhVx4cDaBvv2c7xp27c2Ea4j7VUCJXqMWJ 2/PdqrEgT7qnl9vUXFiw/h05Atj/KE0t+h2Kizp09DDR7QoR3XNp0wQv1p7m7Z4X j4fJ584R5yXnd6KZXQ2D1WONKl5bF50eJDcN+t91dYoTTvfutrFkbE7NlAygCBeS 7Grsa9kgQyLAcVKCxYJuF60Yx0OFJQzEMMLukFGemECIV5h7ERBIyIo2LW/otQr3 DcMG1Ic/4SmEXcTdkughpCaiM/Xi251eEU+kOW8tKXa3PPYf4QbqPlizetThLVsS pqO0K5j7Kw== =gv+J -----END PGP SIGNATURE-----
