-----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-3
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
 b782207e04a2587993298df8828047c466db5ac9 4632 bitwuzla_0.8.2-3.debian.tar.xz
Checksums-Sha256:
 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz
 3ace63941fe2a56c45ba7447b7f76a37426bef606b1fd39ce39e3b989f46e651 4632 bitwuzla_0.8.2-3.debian.tar.xz
Files:
 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz
 530d11724c88ea70041ea2e6d8dc3e3b 4632 bitwuzla_0.8.2-3.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmpfNHcRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtF1aBAAkxaWgj+nmFlnIqOEVbWgqC4hx7IGF8yN
LgMwbp7HxBys1sQ0sOspuoO7x+YhCGjEsx+L3C5uHVoAEaIJ9qgRFDBCxSLkMgjd
w9+rGLxYVQILhevuH9cZc2AcMElwfyF/ouphkxXWNYuWM4uyhGw+f7HJNW3j+n/p
J+t387YpiI0JKDvWcGisVe8lCam9quQqWABulMrGDSUn5XsLzBxKfQiGkfNlnEvU
d9oEIQvcpLe10LIG+Cuam2E2GkcVMVHqRydClkB4oV2gN6VNelKq0eTQFYNQ9+Qu
6rYUJflpxJx4b+U0EqPb45Hoef1Jwch/igg9i7AKWB0sAGuLwjgEfFkWEEIprUjt
ql2PzrIkokznaL/gmXvyRWsQSai+2eOXm3FcXZmGANtecRND/uh4/gi2VQy751k9
cRekt7H4kJab0L3CGnUkjoabGc2vfZagSFC8rhfPlSSczuN/fT637vouiegz8CXj
e5fjbAUT8fSph1q+yEdqZIvRpUwnqKpDLacncuu3J1ABQ8wa9Zxj+LMgH3kQlbeQ
GLVK1mfe9RUlbynD1C1wzWEe7cVv5gqD/Svf9VImR+6NtbNKZZ9zZzkAUEf77j+A
YAv2qcQnnKTYUt/4Km2oFVvim/YTceU1rGZhfsDudH50tj6wfapjRhq8vrKji2Ql
FRiNImfSTe0=
=5EPj
-----END PGP SIGNATURE-----