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

Format: 3.0 (quilt)
Source: esbmc
Binary: esbmc
Architecture: any
Version: 8.3.0+dfsg-3
Maintainer: Weiqi Wang <lukewang19@icloud.com>
Homepage: https://esbmc.org
Standards-Version: 4.7.4
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git
Build-Depends: debhelper-compat (= 13), cmake (>= 3.18.0), libboost-all-dev, libz3-dev, libgmp-dev, libfmt-dev, libyaml-cpp-dev, nlohmann-json3-dev, bison, flex, ninja-build, llvm-22-dev | llvm-21-dev | llvm-20-dev | llvm-19-dev | llvm-18-dev | llvm-17-dev | llvm-16-dev | llvm-14-dev, libclang-22-dev | libclang-21-dev | libclang-20-dev | libclang-19-dev | libclang-18-dev | libclang-17-dev | libclang-16-dev | libclang-14-dev, libclang-common-22-dev | libclang-common-21-dev | libclang-common-20-dev | libclang-common-19-dev | libclang-common-18-dev | libclang-common-17-dev | libclang-common-16-dev | libclang-common-14-dev, libclang-cpp22-dev | libclang-cpp21-dev | libclang-cpp20-dev | libclang-cpp19-dev | libclang-cpp18-dev | libclang-cpp17-dev | libclang-cpp16-dev | libclang-cpp14-dev, clang-22 | clang-21 | clang-20 | clang-19 | clang-18 | clang-17 | clang-16 | clang-14, gcc-multilib [amd64 i386], libc6-dev (>= 2.17), linux-libc-dev, python3-dev
Package-List:
 esbmc deb devel optional arch=any
Checksums-Sha1:
 949ffca5af26e524fb8b195f14c7c11f2c997d28 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 fbc824ea08c3a5e58d766035e640c35070964d93 5984 esbmc_8.3.0+dfsg-3.debian.tar.xz
Checksums-Sha256:
 9eafa3a03a955f9f0837c0e9ffdd04b8ca6b8b65117bbae0fad25426b82da113 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 3e4145973e6d9bdbf7d23599c8617953adcff914dd0ae412f768585895b2a9e7 5984 esbmc_8.3.0+dfsg-3.debian.tar.xz
Files:
 a83468d2460b47fa9dfe79e92129c903 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 5f8972fd016be25073d36b2bbadbd44d 5984 esbmc_8.3.0+dfsg-3.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmod68UACgkQ6lhXhJVt
b3k5/xAAxXxR0jb2J+os9OhkKmYUYfPrNKdR0M9LKTTzZQ98i73vjlvMA9E8MwLq
m4ZVzRCZWcRXqLlUFxf6GiM+VTHM6VZ0f+bFaU8/QtsAxP4yxEbw70bGmM5YaK3b
wxFk/DhSk5SFKzB7NTX3mbfl+Did6GG3nH6BlaU4NAqlcg/ZTdGyX/Nqk1BAt96p
dH9nrwA+d3SVtU6BX28Zo1eeS1zkN2ZrG81fvB4f8g1cT2OVj+QYHBah/TtMdCXf
1JzvPsYJQ41G5fY1HdK0WJucoiqrmPOGl8Ut4eYwor0OJHEfOSH0sNZH7ZM7MFBf
WSqLPKaGQ71a6xJEH0bptkyeWN5ukspXXVvKpUsFUpT8yPpgjApj/LsGjpJb4zXg
MMVskXsvjIA3cdPTfQzV3LzxwOxdf+gypOK1UGsvNWJByAPLyV9SHTU17RtOIU6y
wr6khfHCiB7P1U1aG4FoKDoOSlwAHvKL7rGrIqkRVkmupKYPUHekCo0QlooB9Gce
NcnJf7hTaMR3/9XlbaSuqL8dMR0nCo6nibdX4eCIr+fa0iCRWJLPDGvnDVllIqE8
0SjEsfVs3PQlKc8hAGdjvs6Oa8cy2mlkNLF6KwNP4VdIZcDRvFLRCWDdlNm1FR/e
bzXs1HVoB7M+GNlSiYSJfY6g/vfdej1Pjnlzqyd2jYHjGgvrzAQ=
=K8Bh
-----END PGP SIGNATURE-----