-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: esbmc
Binary: esbmc
Architecture: any
Version: 8.4.0+dfsg-1
Maintainer: Weiqi Wang <lukewang19@icloud.com>
Homepage: https://esbmc.org
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/WeiqiWang/esbmc
Vcs-Git: https://salsa.debian.org/WeiqiWang/esbmc.git
Build-Depends: debhelper-compat (= 13), cmake (>= 3.18.0), libboost-all-dev, libz3-dev, libgmp-dev, libfmt-dev, libyaml-cpp-dev, libimmer-dev, nlohmann-json3-dev, bison, flex, ninja-build, llvm-dev, libclang-dev, libclang-cpp-dev, clang, gcc-multilib [amd64 i386], libc6-dev (>= 2.17), linux-libc-dev, python3-dev
Package-List:
 esbmc deb devel optional arch=any
Checksums-Sha1:
 edc8773cc412cbfacb6d6ae1a16dd5eac181f9eb 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 8ec0a7c7e34f88608d8d4740fbe8621fcfabc0e3 4716 esbmc_8.4.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 ad1a306e9b2d07e82fffd5de5df0233653036e11bc017155e1e57824c16bf8bb 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 6dba2d74dbfb97d87b7f581ecf16a63d8e66feb47dfb02a04a11d6b3cd6d320a 4716 esbmc_8.4.0+dfsg-1.debian.tar.xz
Files:
 319c415f20a11cfd796b379216086624 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 14738fce608b63f16a5c440c77a95752 4716 esbmc_8.4.0+dfsg-1.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmpQkt8ACgkQ6lhXhJVt
b3lwMw//eqB5VkH68EN0yhgDRQ0bueqfHAeb0uoUTTk6LcfWympwys6DpwWaAdBH
79dp3BhHRUtGnsgGc40S7wF0suRvgELTiHZub89IoRiUSONQFd5jpfNVb+/dLTHq
fh1yuwMh7yUMPDWy3Bv+wZuMpJOMi738uydqIwIvel2MhPtgzw4rZeDVBO5GVB46
2T2II+81eINOFe8Uh+wkVLPShiNFy5/dq2+Yjt1STaMeKj7DHzkNOd0cYrkRIe77
tWvpLRzkQUqLQN/nirpEPz00KRzE/4Hv+SlvIAQqj3rcwTVcLBgNdpG7u7DQx9zD
UMHoOGyOZ7XfzWnroWKN9HIMnxkF6w4SbCO7100EMmK6IVzeG7dXQzAgFShkZj6z
QwE1qz6RDbH6ArMP0eKC9C4ZUBwIc/JR/2M4LPcpxBN2bGRBdh4ACj7v09Cw/UIJ
84ZlMLX7loL4F3xhOciMLlFnvVIprsnG+L3vctlwJra1/Oi9PEN/qWPrrZtDFIRh
fWonggzJrwUegoISl/Vm7duffzNDeku5SfjaZ82PFNzeP5G3Y0VMThyYtzXMkQaH
IiHtgojSSzFmXzQttoLPuInK7qX91F8iyRcNUhtJey8g6d+2onB7ErC4poHLgXaP
iVhXroEa60v6vDFzCMapZ8x1Qp4C8DW35WIWXHeK83lJwSY3kWE=
=xvMC
-----END PGP SIGNATURE-----