Accepted cbmc 5.84.0-8 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 27 Jun 2023 10:01:38 +0100
Source: cbmc
Architecture: source
Version: 5.84.0-8
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Changes:
 cbmc (5.84.0-8) unstable; urgency=low
 .
   * Fixup patch
Checksums-Sha1:
 541c7a7995f9f90666a155c709ed117f5600b30d 2957 cbmc_5.84.0-8.dsc
 1667329507b9cab25d3f78ca8be02759edf41c73 56496 cbmc_5.84.0-8.debian.tar.xz
Checksums-Sha256:
 61711d6704ec1d57671073a32944ee2331bb4da16ddad010d62f8efbf06e9f96 2957 cbmc_5.84.0-8.dsc
 58619ac25bbfa9b215b2d54d638fbbfe71d11f4df81c283ab62c823a1885bbc1 56496 cbmc_5.84.0-8.debian.tar.xz
Files:
 6dafcac0aa16c1e95e73f3a1941f5b94 2957 science optional cbmc_5.84.0-8.dsc
 ef6d756c1fee21fa3d094ddd008bfe4b 56496 science optional cbmc_5.84.0-8.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSarMQOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFpWQ/8CWfJb61sKEcAqfnyqgG2y25dR/Hm866BWYFU
SKfm7/mmkLbQeEOWwY3aO9sdwUMBgw7s0LrHfkEd1evi0A4rVaetomsjdiGOOcLB
KrYLzbm3FweAIlLPq7GtG0lv9VID3h6I2FHo7Zgomw1ebxcLbfRP0f7qCKREytOM
T5ieRTa4iyHf8bYTvSPpGh7iXq7IT38Rw0eAETXp9lXdrGWFaw7/gUFJFZOIjGAo
m9LpjKUVHE5MPZ5l2osadMX6dMapnHiwIWCDH89mHb/DlCc3DoVg7WyIqnzsz6Ay
hhp7PP7VoKYG4FFOxddRHvjCxPPO+PujYdd41Grm5IgMgH8+RPQsprxtoHjpqUTQ
mjyF9zFQ8ebs1RBNXMiZ5iBYFzXjsVm5ObKNaXn6K73ZX8wB8sheBWBWWyWO2l/C
QF1d5MJO/XppThZLDETS9GrHjIMhxW6rITR6pvbttuQQePH7yoSmNyzmwHif4y4Z
6tyeLhD4xiYTjXJPK5FabOw8IP7Y9eWnozXO/Yaq+yQHvPh6Fja0WXi0H6L3IlVg
CRVUjUKmjKBcRiCElNHruJkxcL/6bHcX29cbAurn3ECc9hWI3H9bD+zXq8Z2Pvrj
ULGunhSyKw9SdwsntUZML/ly4lG1EtwdsJQ/z5fAfsckogWRRxeP3Oj3lwicz6F+
M5MmX6k=
=z8W9
-----END PGP SIGNATURE-----