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

Format: 3.0 (quilt)
Source: esbmc
Binary: esbmc
Architecture: any
Version: 8.3.0+dfsg-4
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
 2c6f13124bbd59271954316b4a55cbfda92f6d44 6104 esbmc_8.3.0+dfsg-4.debian.tar.xz
Checksums-Sha256:
 9eafa3a03a955f9f0837c0e9ffdd04b8ca6b8b65117bbae0fad25426b82da113 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 eb4a76462421d8cd946a0949943bc2c0fab2120847900ef1a77fcde46d744ba6 6104 esbmc_8.3.0+dfsg-4.debian.tar.xz
Files:
 a83468d2460b47fa9dfe79e92129c903 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 a6b5a0fb2a1d79745eeba2cf9f2086b0 6104 esbmc_8.3.0+dfsg-4.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmod8NMACgkQ6lhXhJVt
b3kJPRAAmJkfqtvpbQwkxPVgu3KNS3ZanefI00KCbdU9qoRT1Zpo+OKM+DYPcmti
dRu+qs4cd7UijSDyTZozk+38G/MilhSe90J5BmskZM9Glsx6ofGa6IKwfF8RIhsv
omq7QdOmeqnJpqe5z4KrFuWBNKNTCw/9F4WRuQWCAPSmdFtLAXC2nxtWXpeHsUoQ
yIJfmeA/IjZoFubwDl1lTZedp6LBeqDxf0aB+YBFaMQ5ITTXXbLkFsKf6j7mAuMj
hXGCyzSzCd6cMUbCvIyBorFytDeeCluKL/zl6R3furMbBH36x542PQYgCKV7245I
sXuRWNJqOSvY+8yT2RcW3UzPDreDxsrdn88rg6302aLX5jI9NstuZB4N+v5R8hZr
rhAhe0oNxk/O1PFmNnKafAvHAr64CWBlDGuP/1BaUeSFvO8nwSj2APA1iiLPujDK
kgXxboBrQ7jea2ktV6ytGo0cEphei8Onswu5iXcbl5p/kGtDw9UGi6kqsF740n5P
jMzkn+a4ksJWmn42Fa2np276GPwAfPhawkZktCRloddf6UUA2uBJbT5z0xsTVcQp
A9UbMtYbfS4IBBmsdQ4qHSNOTEslSole2tjF33qaCV2CiSStvr11xklXEQrardbC
qHzGRFcU1A3sfYXpbUQ6pM1KfwacrAocfYQ76uGH98ywI1sieCU=
=K8Zp
-----END PGP SIGNATURE-----