Accepted isl 0.25-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 17 Jul 2022 13:37:40 +0200
Source: isl
Architecture: source
Version: 0.25-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Changes:
 isl (0.25-1) unstable; urgency=medium
 .
   * New upstream version.
   * Update symbols file.
Checksums-Sha1:
 7cabd79dee353a351debb89df44e5b246319f472 1832 isl_0.25-1.dsc
 247eecb538ff310e8fb77badd629ee32a3895a98 1977048 isl_0.25.orig.tar.xz
 0838f0f5763e22b6482ef3411f41ab1933f02a15 24344 isl_0.25-1.debian.tar.xz
 acc1b51c713e84b7b4c49cc3dfb1f04c9bfebcfb 6356 isl_0.25-1_source.buildinfo
Checksums-Sha256:
 e4f18c3fc65369b5fc8870b2c5f30cb9c3f2ec9f50f8e29156cc06cce2dbe437 1832 isl_0.25-1.dsc
 be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9 1977048 isl_0.25.orig.tar.xz
 22ceb736a06ed290ea06c4f6c81ef8ed944b3738aa496c1961d193edfc847f30 24344 isl_0.25-1.debian.tar.xz
 71499f7cc989afa42827e24942c925aa9596dda92aa259675bb41f6a5a820d8e 6356 isl_0.25-1_source.buildinfo
Files:
 3d9a477d624a94fb2dd925275287e4e6 1832 libs optional isl_0.25-1.dsc
 69cee1cb1db3a5a6856095958ee1ff6c 1977048 libs optional isl_0.25.orig.tar.xz
 52e4bdc12c8118915693951ebe35905a 24344 libs optional isl_0.25-1.debian.tar.xz
 2936710a3691c61bd392995a112b9444 6356 libs optional isl_0.25-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmLT9roQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9ZtvD/476kmp8V//JX8YSV7TxP8MxWMjE9A3c8nT
kwKDdQ64nFTsh61P9tTneuRhK0FBBbohjLKKa3yr8LBFajpIH5JjEcmP7ne9ziSC
ueaUaS16NIockWKk/mLnflLkR7whhrBv3BkJ7ICIaxs3rXZGe/2iAtrvZr78Udnk
SD5TGaQpsufdAoUC4HutMhxv9IOXd4s0mVH44tVcK5HCogDH/r+IEW3IxIKtPVQe
jCWuFTR5+cTZ9rsSDOkWFGDVq4PVd3E58JgAat2yw0USU/p53dIEAEv8iMhUAzwr
ZdlsUpEgZ6Ea3bxdLMOxjixmFAUkR9wEXpniFDZ2Dw0NogdtdU9p3yI4NKkmNZQg
rtUuBoI2sAsM99F5QJOqoAudTwz3DfZLCcg6b2uap8D8KaTs76i2GL3+7dsff+f9
AtR0lAi28qbHUJjDP8PAgnOhIbsxWhLuZAks4TDWtz7ZqwZnpvl3dNrMZtx0Gar1
IEInVeTthB0m32aa96eI9W7+U7QFQmhsiBn0lx0pTGIV2ncQrdOp+Zu2NlPkFA/P
+1gqnujtzQG9bXk7FDXX0RvuOpwzRHzWdotUtvet0r7eKvWptqLwtHKNmqlsZpnT
0KCbpibuQPz0YNn6+aq7dfNgeLWY3ho84U57fzTOE1FqgTrRy5ApmKybIKhD4xCz
32ZVcf3+Ig==
=qqK5
-----END PGP SIGNATURE-----