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

Format: 3.0 (quilt)
Source: esbmc
Binary: esbmc
Architecture: any
Version: 8.4+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:
 19e57e577ec412570196699523cdeb5a7991ad1c 6415304 esbmc_8.4+dfsg.orig.tar.xz
 7394e5fde11446d746af7fe130fc2da7b13ceba5 4584 esbmc_8.4+dfsg-1.debian.tar.xz
Checksums-Sha256:
 138a394e50ab98104a33b882dc5d575b57053bd708d217b3be156001976e3e12 6415304 esbmc_8.4+dfsg.orig.tar.xz
 5d5cc914566ea22f14c039d4fab42f85dd466be449433bce5f4cd6e5d2dbebb0 4584 esbmc_8.4+dfsg-1.debian.tar.xz
Files:
 1a53a51db2eecd74f67f08cbe7c68198 6415304 esbmc_8.4+dfsg.orig.tar.xz
 92439add4f2c072ff9d27d230c75e5ca 4584 esbmc_8.4+dfsg-1.debian.tar.xz

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

iQIzBAEBCgAdFiEExpopHpUu+/PjZKMS6lhXhJVtb3kFAmpp98kACgkQ6lhXhJVt
b3lSSw/+Nf0UWxzoBVSbLhd6pI2QBCORMJoQwl4d7L2d7bHFzSHsRfQU6CtQEgy3
/hrxEiW3Cl0N8Rhtsnx4y9Vyxhi0YlEbEliy9loaJn4HcUWxGQHs0BPjsZ1fPY6Z
eAB6+cusrcT+gXpgGx8RtA+q2qgTQ0U27OL4bTyQwETWdnz/jTKYph48bGog9reb
f2IrgJnaNJts6UGYJEhmmQWGs1/I8JDX/LOwyvUXLsTSBkk8eLOn8JTC5V1VtfP3
yuNvOiqhy9CAgeMgHl2LMt3HIv7/wiI7T23CTuFFa8pzcRyG4XMoxC5WYiyDIBJq
jonhMR00DKNQBC+vTX8ZRUI2a63MVaL81U2gs7KO4O6/lOfp269LrstdC3BeN+K2
k6jTM6eUE0TmV8XKpQ13kjjjdzJiBOsMBqiRjhsU33fbuHPn4FzeQU7EN979RcTe
vQkkc4VGy/WpH3phmYyGhiIh4XSjBZD3lHDAOEaJejsONYEFdaz+2OvFRYziATmc
EUGxKGgHG0kePGEsYQY/npdu2jOTahN31UPiWDNySap0rZnwkH0+OzM1xH/tMWQv
InDRaiabpYxsI678Q0aKE5x2pSTso+wNjG/yfCPUYF33h8CLUCSnonBRdR4faL3x
AfnQo1V0GPrux80K2M9rvUaUCSkAl7pzwI2f4qI8z5kDwMR3rMw=
=GWnG
-----END PGP SIGNATURE-----