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

[Gianfranco Costamagna]

z3 (4.8.9-1ubuntu1) hirsute; urgency=medium

  * Use -march=zEC12 on s390x to fix the build, from xnox

Date: Fri, 11 Dec 2020 10:11:02 +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.9-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 11 Dec 2020 10:11:02 +0100
Source: z3
Architecture: source
Version: 4.8.9-1ubuntu1
Distribution: hirsute
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 z3 (4.8.9-1ubuntu1) hirsute; urgency=medium
 .
   * Use -march=zEC12 on s390x to fix the build, from xnox
Checksums-Sha1:
 96b5254abc14ab75f00d3d152ec08b7dc480b2e3 2637 z3_4.8.9-1ubuntu1.dsc
 75fdf792679321de373f3f79235bb5563e6b171a 10428 z3_4.8.9-1ubuntu1.debian.tar.xz
 55eefe727ad88fee9573bc1082c61eb07f668b46 16044 z3_4.8.9-1ubuntu1_source.buildinfo
Checksums-Sha256:
 99c67cc6da919c8934a8427b01c47844c0291fdbecb0cc698b725dc434409d95 2637 z3_4.8.9-1ubuntu1.dsc
 1d012fe2eeedf7e018726e118a404498c0864902bd51fc54635306524865df4c 10428 z3_4.8.9-1ubuntu1.debian.tar.xz
 8815e9770b33e111a23f0060b056f1ebc3c5a594615b4440d3ad5cf3d7946867 16044 z3_4.8.9-1ubuntu1_source.buildinfo
Files:
 0fcc165b512e3996b2add1a27bc3fc50 2637 science optional z3_4.8.9-1ubuntu1.dsc
 28c78b6b8a703e520ee6460ab33fa74e 10428 science optional z3_4.8.9-1ubuntu1.debian.tar.xz
 e3b5b284bacbffaf8902f3101fdc0a08 16044 science optional z3_4.8.9-1ubuntu1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/TN8IACgkQ808JdE6f
XdlQmw//XX+3FKawWhXttVrfyS4etVUdboH/t26GRSG3DQwygk4sBowvckHU1Fyg
JQJ8BCzwBueCCl5IrwV7qyvYdOOESI6/9SE4p/IorF0E03gDq1NUc057Sb2+KGqB
S3fgLTfwqFmcpMbfLQISG+vbf5LIu41totz/T16a+9p0cPIerah8fe9PoySwzGeT
xq08iCSuun1RfcverAutBNWc0b+7pUNI6fo7DKKdSe85neB9vwhkU6Y5EmRuUD7V
VOL1HW7IZqPpQO1Ffk1F/ZxsC3VxjElOm7Q/u4u/mX5rb8JO09F+BJ5Cjj38wnyg
ieo4t97iUxBQXZAv/AZUnIL/zabBQGfXKXyQXz4s/6hMBNMjrDLcGCq3yDjV2LXE
xL11Uxa/tbN1KE2epl+CEN95wdGnUtqJnW/HF+m3wyIQy9WLs+ytxNPFSnB9e789
G4Daqr48GPD+gAR10+pr8luqWUIBo4Ia9um2p366G+PxP9waRT0XhQ3iPAp8Dweq
YWOTxaVAaEbJ0zeAABxyXFk3TtAgay+fjpG0PXdDR+csGmNmBLo1lsa8d2AjQXFw
Ujix5yDWVrLNf5sWAJFx9iAfHmOZ/quhA/aA3ypcgV+IvZYl+3T3OWcaGy6Xyy71
XjUkYZW+ttnYkGWpu+e5QalVlsw1SszIymb4r3eQ/sSl95TLOEc=
=I64v
-----END PGP SIGNATURE-----