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

Format: 3.0 (quilt)
Source: bitwuzla
Binary: bitwuzla, libbitwuzla0, bitwuzla-dev, python3-bitwuzla, bitwuzla-doc
Architecture: any all
Version: 0.8.2-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Gábor Németh <homar@riseup.net>
Homepage: https://github.com/bitwuzla/bitwuzla
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/science-team/bitwuzla
Vcs-Git: https://salsa.debian.org/science-team/bitwuzla.git
Build-Depends: debhelper-compat (= 13), dh-sequence-python3, cython3, doxygen, git, help2man, libcadical-dev, libgmp-dev, libgtest-dev, libpython3-dev, libsymfpu-dev, meson, ninja-build, pkgconf, pybuild-plugin-pyproject, python3-breathe, python3-mesonpy, python3-pytest, python3-sphinx, python3-sphinx-rtd-theme, python3-sphinx-tabs, python3-sphinxcontrib.bibtex, quilt
Package-List:
 bitwuzla deb science optional arch=any
 bitwuzla-dev deb science optional arch=any
 bitwuzla-doc deb doc optional arch=all
 libbitwuzla0 deb libs optional arch=any
 python3-bitwuzla deb python optional arch=any
Checksums-Sha1:
 c61eaaf71c42f2b9d5319e4e95e6156417483b1d 2080406 bitwuzla_0.8.2.orig.tar.gz
 0aa6c6b0042b791daa2d9865242d3f6d3e5a79b1 4244 bitwuzla_0.8.2-1.debian.tar.xz
Checksums-Sha256:
 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz
 0896d638b21c0a77ade76af3e7e84002c880ede67b3e157326798dcace750fa4 4244 bitwuzla_0.8.2-1.debian.tar.xz
Files:
 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz
 c0cf8aab39aceb39137e13289687259b 4244 bitwuzla_0.8.2-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmccJIRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtG7jA//RcRfYmmKpD80l3MOupt5M8Nxoy+wE+0I
DyeSEn90dr/dfQuBpwpwLrq9NaIz1PU1PBGAGLcqtRhal9JROdFMp5ySAsaKNn56
/T38N2PQquJWEMsgNf5DJ50G0LSAOtV4END7bxRQX7vu6gCo+SBqENp15A7VOVyw
EQ4hwJd4EBRjuzB0I7TWuG7LXmv7NgBTVTlhZg5tqbLfACgU5wKIrCdumeX5EIDl
1jSYb8IppOi1T5WugKZXTg3wj9Y8852Q54SHwRe8vYATJbPdPbNV5AkQr8idBLIF
AWxYNl1ygfkHm+HihdyRvJXucjl3pyXG682aX2lf+MfkCUcphyaY08M4rDRwNiwe
YsT0PQmHfgcXYrGKh0dQEHhX/6PBgnRNUK/V5SKASpxxw8Uq0UHuVg/gELI/17xd
MsdBaw1GSP625G39QBjyqvXyw25cr90Y1wC/ekaGtE7HCuFeFbORKTMEoytyNl8C
jWVTEZgXSWQ9xI4yqd1PjZ1kMrxVtG8x4X6wwCjXLwRCJmbjxJsbgCEYWjKUQA2A
cKpEa00xvG6ZzGiHpM9tV2RdcyW6lHQtsvOEB+l8gN+fEVot7wMzc/LmcH/VbaEe
f+Z9GSP0NXr7sdG8sG/kKF8CDdAKcCFITUlQUZAe52hoT65Dd7vYhyMd5veyo6zB
BiDKRTGZAMM=
=+mep
-----END PGP SIGNATURE-----