-----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-4
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.4
Vcs-Browser: https://salsa.debian.org/science-team/bitwuzla
Vcs-Git: https://salsa.debian.org/science-team/bitwuzla.git
Build-Depends: debhelper-compat (= 14), 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-all-dev, python3-breathe, python3-mesonpy, python3-pytest, python3-sphinx, python3-sphinx-rtd-theme, python3-sphinx-tabs, python3-sphinxcontrib.bibtex
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
 e5d4e76066292915540eee65dc0369ac6597c145 4724 bitwuzla_0.8.2-4.debian.tar.xz
Checksums-Sha256:
 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz
 7f15db2f6b1b0fab51104187f9c86c99ef34f9b8cbd02906183d7b5ed0ceb90b 4724 bitwuzla_0.8.2-4.debian.tar.xz
Files:
 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz
 8b4b4c54a570411e01bfcfc06a83551f 4724 bitwuzla_0.8.2-4.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqRWDURHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHNcxAAktN4qi0JBPv6fvDQ1T6mEodRZ5WNS6bK
IqOMSgqNXWB1sH3QLNiNuq+lK8nHFHmWLuxoZpokaDLYq4AC9YnI2i6+wrkuGfEq
YxMNxNgHwR6FYWvF0uupeX+x7yi5wPnx980RV/fqs+rc/Co+KNOjJgv7+DRGeNKH
5K0AmMxy9YOHAYsM7/blGGPZPKrp2ScLLZk8vty786nEWrv8aYG6+V1PYsKcpNWU
5GVHyfela/bJ/btzIXgiVTDdacraJaJdjVimAp9lvVdAynlao39MQ0NyMQu6n8Rt
fhjNNO4k4lNi7NQN+w4Eo6MEyHSo2METc7tVOjvGUaOTynFgtVQxV5AJvnkhj5yt
gqi25IppmpB8RRDM+VDGza1+GAPSP9wnlTicS7z1DN7vObAgqNFJa0K6oeeBP/LS
M1mFTzE8BENhUTBiqa6GCjBYdHN/vsOL+9jrhoAOmLJ9UUL17Pww1yeDaSlKdQm5
ZpsVEm5Q1KdKLynNl/7PCAPAcgAaehnrkDaekawcuTNpwH363EhKhDgZTHGvpURJ
BETZ+LYF0phD6SWlOYmymU2KXhMLlBKBDxI/cTVczkOD9FFyXpFuNx2OB3kwdClb
kzk+rXKYCypw/92nmVt/hpXCMQ5qYw3t15BK3yzhLCROELnzBRRoAcDo3WVZB7dF
3lecFWNXr9Q=
=F1Dr
-----END PGP SIGNATURE-----