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

Format: 3.0 (quilt)
Source: esbmc
Binary: esbmc
Architecture: any
Version: 8.3.0+dfsg-2
Maintainer: Weiqi Wang <lukewang19@icloud.com>
Homepage: https://esbmc.org
Standards-Version: 4.7.0
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
 a3b691b6064776565fd2355df135fc9bcb380fff 5828 esbmc_8.3.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
 9eafa3a03a955f9f0837c0e9ffdd04b8ca6b8b65117bbae0fad25426b82da113 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 2362eaf6d2cc3153fa9f35fdd06fab281ca5287b8e92b7519ad6f1f49dd13bf6 5828 esbmc_8.3.0+dfsg-2.debian.tar.xz
Files:
 a83468d2460b47fa9dfe79e92129c903 5535208 esbmc_8.3.0+dfsg.orig.tar.xz
 556ec87b24d6568504186e45e60e2dfd 5828 esbmc_8.3.0+dfsg-2.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmod6XIACgkQ6lhXhJVt
b3n1gQ//exmEm4i+PHdL0uGu/Lq0uTJotaJpNoYm33NlX/mO/tpUtOnNcojXh4qR
pRTaY6u/XPjh6NHehD9cw9tgwafSPejgItRMgzrh7RjNjBh4kiIaUeKTYyflWiB8
yN8bCO/FNG01aAAprHJqJB04qSdKQCUB4ibMmfw8qgYt47piMTqKixxQK7DJmYmC
YX3r2ewkGYM3/mGh7F267mcxcyGJ4o68LqavfqcLDO6Y3QifIRC1pHmAidL5FS+P
gOCv9bzf4/k8SF8RF2KTPX86CsfmIh7l1tkZQLBj4pEeXTMbDyUwd947HYYMh6Xs
NS6j7kLWy3SD4MGSpVwgVxwz4U1aQjc4Trc0t/2xCpP38MisYQ0shTQDML6fvxFb
ung5O5AdiKQkMxdQ0tr8KEKbwOHSA7Ed0oziSq/fDK8bmbrB148IsjENaKS8ElbT
wzDWq/pW4Ocod5gNAHwq0tV1eMjtDhJ4IJ8Cm/n/M4H5pzHdYmVnmQ1JIBduVfWJ
YhhFgZBsQ4lfq4tDomG5X1F/0FvT5ch/Qu4wc+JunKnZZOwFFzaUKGjfHn23ol4T
VTOkcH676/31wBCo9ZjhtDZ8eqckuEA+m2CL+VWBNxFkYk1e7l2ds7Q+XbG8US1t
mn8WsCog8ZI+dPMXWdU7LDhb6rnMQt+Wmy88FYIpLOFfAdZ1g4g=
=vdar
-----END PGP SIGNATURE-----