[ubuntu/focal-proposed] cbmc 5.10-5build1 (Accepted)

[Matthias Klose]

cbmc (5.10-5build1) focal; urgency=medium

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

Date: Mon, 23 Mar 2020 07:11:11 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Michael Tautschnig <mt at debian.org>
https://launchpad.net/ubuntu/+source/cbmc/5.10-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 23 Mar 2020 07:11:11 +0100
Source: cbmc
Architecture: source
Version: 5.10-5build1
Distribution: focal
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 cbmc (5.10-5build1) focal; urgency=medium
 .
   * No-change rebuild for libgcc-s1 package name change.
Checksums-Sha1:
 3165d9040a040ccf64917f68412ee5e7218fdb38 2155 cbmc_5.10-5build1.dsc
 341aab2123c35060d36a089eea36a8b75aced28e 12608 cbmc_5.10-5build1.debian.tar.xz
Checksums-Sha256:
 15f73bbd966199499671c81be34a4b28e7cf17286c50ff67b9919502abb0ded8 2155 cbmc_5.10-5build1.dsc
 dd9708efd4671bdd5df181d2d40af77cdcdd829ed1808085d2d902740fe6953d 12608 cbmc_5.10-5build1.debian.tar.xz
Files:
 fc7fa36e49abb01260a8548134229ffc 2155 science optional cbmc_5.10-5build1.dsc
 b150823be63893a6458fcc13801133f3 12608 science optional cbmc_5.10-5build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl54WhEQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9XXGD/9zMrbj0GEWqgPu9jgLovgOCuXtgyWeB6ED
kQ0s8kkik6UwJ9MWXS9GUK+ZRZtUB60qjK1CvnzhbHL30+ezavTjotHkNWrUQ2En
QMHrnFaOawv3Xw/N7Kznqe0BhJw2wOrXLvqNHUhZ1u4m+VAXCTUxe6HchEH8ufx7
T0xAy3UwFhGzzzf2B0+XZRnC0fVtv2KF2i3d/VbUoA39kwJpavnbabqZRfIJWrfW
FoYdlaEa3thlJEK3rYAfUHyPpx61J9g8qrYFiM1y4gmpxTQzg6dgprlZ6r0a+fgY
iNax0xbKB2GuocoiL8HMg9fojplw4YUatw0hQnjSFZPkmNxWV4MyPdpEY3Y2LLEd
NZiDgtPaUeZAt28wjk/eAuOXUWPUKrIh+7rlghL3+H13Wr8yuRf+aHqxggUFd5B4
Ro7UToROoH1YdU6oto/gynv0csjEx66KR8qe7JT0/jcmUAb9caAxxxOyM14DO3sT
gm6L4ylm3Hpr/zLOfMocs2cYtEoIn+tl/YsOP9i6Vg2+VfkAmdIU7pjya7Nf1qxQ
8n3FkyROxyR0ofQ2cjjb7zwLSR5NFb3/msn1Cf5rrgnL35HLFB7MofSei1UYdRjT
q7rgwKnXy8oZNs6bgGOSwnslLAWAJxuv4j8HztPoqoP0E6CFBCyOW85pwA5ttP1M
9Aafxt1hzA==
=81oH
-----END PGP SIGNATURE-----