-----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 (= 14), dh-sequence-single-binary, cmake, libboost-dev, libboost-date-time-dev, libboost-program-options-dev, libboost-iostreams-dev, libboost-filesystem-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], python3-dev
Package-List:
 esbmc deb devel optional arch=any
Checksums-Sha1:
 edc8773cc412cbfacb6d6ae1a16dd5eac181f9eb 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 9d7a7491989b475d1260ecd437a6ff00fabe1de3 4820 esbmc_8.4.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 ad1a306e9b2d07e82fffd5de5df0233653036e11bc017155e1e57824c16bf8bb 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 a95d7ad198f10e2ac368917d2362078f11e7974edac0318b33e78e79583bf23e 4820 esbmc_8.4.0+dfsg-1.debian.tar.xz
Files:
 319c415f20a11cfd796b379216086624 6350028 esbmc_8.4.0+dfsg.orig.tar.xz
 cee5d3f5d3d47a62c7b1d021ddd43b2b 4820 esbmc_8.4.0+dfsg-1.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmpprIAACgkQ6lhXhJVt
b3mkiw//fkTj2Ab2TGsDn8HYXDPPDls2uFF8I/m9AWWLaxz4vDdkdr2VypHTx++S
0jdQNxQktQiUa/Dq+8G5dvfcTqBGeiS+GIT5SkQ8ztCR8Pbjli4c22a7jicI4+ME
AC/qyvIdVM0X6K4knnoZOQekgmEJcdP3MlIba4DDaiGfkQ9vrmFxxTEyZq7Knv72
p1L/QOFrmbgsKdHjH3mr1d4PqB4dnSO9qwkakkT7Y9aY28cCukSDrXal+i2Nczyz
qRnkoOiM0CGobDmM75gCJyTn8aaUsC6VDNzzUBX936yP52pgJIMy6bSwcjqqMVSX
PQuXo1kJvNyRf3fH/k9rUJ3783FnvlWlB7VxZ6QRdSqa9fLcru0DYtNPw0M2z5I5
USzcx6xm/wyNqj1g84gSUJCils0xg1p/5GV5k1KXeXV+CSFbGHAXyjADVVPJF3/2
k82OPtzbg6JbYb6cF4QLlgB2rtOGiVn3wDqr7v8N1i+uSMcCgIzxFEQ+Qx5/ST0J
GxFQSXEFPOd3SXwpd++j3NpBWPZpY9UPDfQ4TfJAuRWjk+2vxjLXJIAUcxCbC0i8
QGCnCvNo+LvVjJiqH4zjrAf3Poa2ohtBvyxTuQ9Qs60TH9KU+r9XLqaOtXpqBKU8
g/CVeB1PcWHBLtgB2Cqs4UmwtIqR6PH491d/vLO5OOwF50jUVY4=
=yEqQ
-----END PGP SIGNATURE-----