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

[Matthias Klose]

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

  * No-change rebuild for libgcc-s1 package name change.

Date: Mon, 23 Mar 2020 07:29:12 +0100
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-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 23 Mar 2020 07:29:12 +0100
Source: z3
Architecture: source
Version: 4.8.7-4build1
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-4build1) focal; urgency=medium
 .
   * No-change rebuild for libgcc-s1 package name change.
Checksums-Sha1:
 dce47ec244a5b27eac6c6d6fa59e0a6a878cddb0 2594 z3_4.8.7-4build1.dsc
 57c7dca76b24773549748e169df8379001828c9f 10080 z3_4.8.7-4build1.debian.tar.xz
Checksums-Sha256:
 bbd775d6c9d8298e258ca1ba44aa179dc63857ff55be5c6af8250e3b9cb7e789 2594 z3_4.8.7-4build1.dsc
 62269275955ed4d2cf9bfe5d1903e3f5bffd6981c7f14660d778365099ebe333 10080 z3_4.8.7-4build1.debian.tar.xz
Files:
 e87a55e0fc5a5b8abda16a02026d6765 2594 science optional z3_4.8.7-4build1.dsc
 eb2ebea775f95894a2111db5b403861b 10080 science optional z3_4.8.7-4build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WmwQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9f93D/9lgp1i7Bjlq60lCRuvtZWyVV5OHR8invOd
janvOADGV/R1QdziCMUqe/GjvprxNZXwIVyb01snf8f96GkDUcytOu44LFWR5Ic6
eEm/ldfw+AsLyehQ62B1zYkFa1ygQRYmAAdx3Zit8qdix7BJgCxPrHwkspzTcv7u
a94WChYJi0/1XA3AaHxNm69sIZwgUSq5e0mFqZtBWmeTmr64T8QvupkJ01Zsy847
0R0kd1YrnEwrdY8Etku5inTZdMTlGtvQjWdSbzDmtPoUHNdoZ84uZMwQP0SCnL2T
XRGUO+43rDMpBh4y8Y2ViYJ0egaNfDa8tICHvvV8mEc5PCoTRU2B9p/vdjLTnidH
cuEWjXxhQ6FwsMU2EKGlSI0ayQV9J4zcM4AV0rZScAlskkZDPT810hV/9MCjmcTc
RtyWR66AxjUQ+NyFe63rWbA8oPqqutgQpmbWCoop2D3/UCEFXCYREtUyJPSyYr2t
6NonUsT8Ek9OdpWBpre9S+s8qiw4T0HYfrtnNPCMYTtrWDrnTFHX/sqlRt0H3/su
J/RQjLAMHsjJeDqJTvC+MYhwpkiDwcuLzeQ8WZQOHdWQaOcbe1+axhpNsnx5yPw1
7z3QtjhBVBmyw8xLV7cygXDmN4+UQSoWUlmJN5RZUJmZ3H4bFPHL/l8lOFFx2oJO
RaBYM1C75A==
=/530
-----END PGP SIGNATURE-----