-----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-2
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.3
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
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
 39f2534c773206cf1cc3211f048d3239b2d88af0 4364 bitwuzla_0.8.2-2.debian.tar.xz
Checksums-Sha256:
 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz
 e1e30ff2c99b0297554e8db33835bc733d4ab416bd5f5ba21f85ecfaef574774 4364 bitwuzla_0.8.2-2.debian.tar.xz
Files:
 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz
 ea0a95b19a621622987070a4d85862f7 4364 bitwuzla_0.8.2-2.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmltLkRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFRgg//a+6i3nHit33Dac5SQdjbX6+AKgyFz8eX
jtjnjqFLqaWk13+YA5c0KALgzpsmRpBJkFsnPMoQRsqjjGmO2q8qqYEvdr8ZkIsQ
eT0lAdo0/HPWWf6xnE9uxxyyCacXpS3APA+31CdxMQs+iVBR3hyUNA1WEWmK686I
A1kWNfPf9/LQWsQCWkJh14N6Fv4DeSZWp7OzQQ+PCc69EPe0iRB/jQrrv3ASRH+S
UKy68sTbKmAL29aMD/WhaRi1YYScBGQfb3s+Vap0CniSFj4LMYPTXkutKJkCx2Mp
xOS3qArqBmuls+kBR6ufSUM4tRQpLeXjUOeyYNwptmLSKG4YGu+gBvTy80z9SdzF
xThS+L7OP3IVq1jhJwaRi+Qds5RoJmoJT7fMaMxetEmF0m70Cyb4rdnDATW9qTfk
+N+dJnA54c9vdi29QDTDKvKRUO2o6Hjplu9uGUZOblmlUTZpf2QalF9+wX1piCWh
eDsKSsfSJ7ozUpNd/Ku8OBr+cvaMbf3XtWwBRVcWc1fRJcPyQ7SwrnfZw7oZJOyb
y/LDyXUWxyxOXq8Uo7OO81qe5IFYh0ur503L1RH04p/XOzRPV8JIG6xrZQD0r9bU
+oOd8HUlxCs8d4xyRHmZvoQQtJScfwrVD6znEYqOkTGI65AM+KcejT+9XT+G7fgz
hXyLytSC0YI=
=q5Bg
-----END PGP SIGNATURE-----