[ubuntu/focal-proposed] z3 4.8.7-2build1 (Accepted)

[Matthias Klose]

z3 (4.8.7-2build1) focal; urgency=medium

  * No-change rebuild to generate dependencies on python2.

Date: Tue, 17 Dec 2019 12:53:57 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/z3/4.8.7-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 17 Dec 2019 12:53:57 +0000
Source: z3
Architecture: source
Version: 4.8.7-2build1
Distribution: focal
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 z3 (4.8.7-2build1) focal; urgency=medium
 .
   * No-change rebuild to generate dependencies on python2.
Checksums-Sha1:
 fa289fc493bafbe0dca53ce0816f6b61e57848e6 2726 z3_4.8.7-2build1.dsc
 dd1a949d9f3232b0ce77d2f1723e0c4c1605e509 11600 z3_4.8.7-2build1.debian.tar.xz
Checksums-Sha256:
 a6d4bb3d7493bf51c447173529fd15008cc949f33732a6af4cdb0e79456466d4 2726 z3_4.8.7-2build1.dsc
 010fb145b32f1eb12be7169635515abeef9379b2556cb797dc3bace60f0ca0dc 11600 z3_4.8.7-2build1.debian.tar.xz
Files:
 c248c68f3186c77f626eabf55b70aa76 2726 science optional z3_4.8.7-2build1.dsc
 ec68a9956c46e61fa8889c69a6a25271 11600 science optional z3_4.8.7-2build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl340CIQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9aPfD/9tTeFZ3t0MXzYayD9AEBg2Gmy9eEKHZPIf
/AgxFs7ofOc/dZldNGpTm5evWJIoJ7twlYZYqt571Hwr8ArOR+oAs0z9AANzao3M
/+5ojXmZ8rLG0061EXUOftGisoUTOLtP49hdrxU7zM8Dt1oEbFJMxBvTiDoNi98Q
qNeuNL26iKSXiXIQwqgfE2dBgUz7xPvM7soALhIWzcnoat4pEPurD2VUStFqbZBE
Hkns7KqrJkHAPpMNY5JVxlIGdp77uamij6qZ5pVk9hOwr90Wi4EmAl9u8TSHbj1i
9GNzieCAJfK0QHvdhPegU5m8cwE5qEWX2AxPk0n0DeqE8UyEWeK7Y/qa5O3g1fgM
JuZikylhZTjZo+NSVA3vAH3DC2CZ9EZ3YrLVR9TI+gLnkEphnjafGimuHU5we0rD
sVRztTNwCESRiYDH55eIhW8PrWdB9Je5O8Sy8yvadRUBfNPYR44LkhVzcqZNISJd
OtqlF6QtoQs8ryBgEB+ykTOU2+F78s3QOrvnZFh2SOzXSBVji3kGQe3gWNKhmfvA
3vRO2H2KtZbO8IlA67QKTnivTzRSEfCcp5bfg1FHQxzr13yxE8HqPXoHpiCrB8CM
WzAyNSb3WWNlsUs3cGtefNkpZG7Jns/lvyp4Ga4QOoT5PR4w5AsEGaVAVWrZPQjv
WdWbMBv/6A==
=S6WU
-----END PGP SIGNATURE-----