[ubuntu/hirsute-proposed] z3 4.8.10-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

z3 (4.8.10-1ubuntu1) hirsute; urgency=low

  * Merge from Debian unstable. Remaining changes:
    - Use -march=zEC12 on s390x to fix the build

Date: Sat, 30 Jan 2021 10:40:25 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/z3/4.8.10-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 30 Jan 2021 10:40:25 +0100
Source: z3
Architecture: source
Version: 4.8.10-1ubuntu1
Distribution: hirsute
Urgency: low
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 z3 (4.8.10-1ubuntu1) hirsute; urgency=low
 .
   * Merge from Debian unstable. Remaining changes:
     - Use -march=zEC12 on s390x to fix the build
Checksums-Sha1:
 6cf02e6e9ee295ea78fdc4a0731e2b26b7d0e23c 2644 z3_4.8.10-1ubuntu1.dsc
 1e8d5f7518af851e7aa5ceb67e5e7748bb129685 10252 z3_4.8.10-1ubuntu1.debian.tar.xz
 57b709049f1e770532011ffc8b004e533e1fc160 16296 z3_4.8.10-1ubuntu1_source.buildinfo
Checksums-Sha256:
 90535818f7136e7e543953db9a3a6034f64caf201e0a907a964a9420e18791ed 2644 z3_4.8.10-1ubuntu1.dsc
 6f156bd6cb3d1467e79ae80e75e84fb07b4552f9bded8a46ed95571b6a399b52 10252 z3_4.8.10-1ubuntu1.debian.tar.xz
 64bd610cb1829bea8e2443f9b760857755167e44fc84a8d8c9e44c68df824c4a 16296 z3_4.8.10-1ubuntu1_source.buildinfo
Files:
 5b0bf8a7366d893c55d92c03862d9871 2644 science optional z3_4.8.10-1ubuntu1.dsc
 f18fb52658932c81d41766dd9c53d116 10252 science optional z3_4.8.10-1ubuntu1.debian.tar.xz
 321b6cc6e9b136f48a4f947df70380a1 16296 science optional z3_4.8.10-1ubuntu1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAVKZ0ACgkQ808JdE6f
Xdnpww/7B0wvo5jFdF371aSxUMiNe5gw+Z1dxmri29DVgvkT8G55/gziJIimtQZg
COT0C11vIgqaa9esDs01/V2lY9yyRbgpw7/F2HmrV1vA+wRVKvZlnfpgH+5B1teg
ES+pBqmUgfaK6GGl1cOYA7Rmr/6AISorifNtkVfo2Xi8yMHfBwTHbDAneK9Bm8l5
9DD4F/sthZY6qL+rtcqO0xtkLLXn0IiF+HiaaHh9nodSfu8+OBaYbnSBKkmS9zCz
y7eF5vq5BmfCBOneGD+DzuN/y8XnJoDwH+BguQlHAJNruhNOU5jhKMbvbCZ07PB7
gk582MNtK6J2cAUSlVC2KYnAcn3NECJuA7JNwRUPwuwgLxxyEY1EEpKYzWXbqjva
RHesFZVZ8dQhgoaXdThMvsoTVU6DvuWl+ucjvaHsI7lUJhxMDCUNkxp2iMvNV3tQ
9AV5Thrm/Gud4c7zq/DTPxCYpNd5JFSuCj01icDNKslp03LP4geXAMUXIqxAn6Pm
A0TG9Vp2lI7F4TZVwWhFCXfcLBEH1MHPCZkiTUpYsytQIVrqEJcJrYo5Lr6AQkic
FgPuKH9tNflofd8TNmOlXndwmixi6R02AoRTaeg8doIhwdR5jEcyJAwJvKBmmK+5
gTNbMHnqj2knx6FE6avNywEj6zIFbovCbzB0iq0jZcXJ5czgUJ4=
=oC+5
-----END PGP SIGNATURE-----