-----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: Gábor Németh <homar@riseup.net>
Homepage: https://github.com/bitwuzla/bitwuzla
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/homar/bitwuzla
Vcs-Git: https://salsa.debian.org/homar/bitwuzla.git
Build-Depends: debhelper-compat (= 13), dh-sequence-python3, cython3, doxygen, 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
 cb33e86c44aa02f50e7faea333630e3c9684d5d5 4088 bitwuzla_0.8.2-1.debian.tar.xz
Checksums-Sha256:
 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz
 ec785c0294b08cdf63971fd9947b7ebbee59aa0d1a892238c8f2a5491af58e0d 4088 bitwuzla_0.8.2-1.debian.tar.xz
Files:
 71171801c3e31351367eddf6c1acf183 2080406 bitwuzla_0.8.2.orig.tar.gz
 620e8048d563a2d9f3c1d0de9555f705 4088 bitwuzla_0.8.2-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE5lJxZTGkBKFTluFM1/J5p2ni+PUFAmkxaOcACgkQ1/J5p2ni
+PUS3g//cTVpnqnTg7eFEOVahuIGZ1REEUYFxCky53XgSbdOnT9l3bxN65vjYAUs
9fGZcFePAst2uhKgArUwu8TFBv2rn3hatDVdg/N/Ens4hd++lykVnTlnpytGNs00
zgL34G4eFy+dOuB5SX4VQfW6BSOhPOxZVEwYd0wABMZdJ8knUWeffF4Xo81cH7a4
nRCEPjRp8QATBdk8V63O7VR8DTs7N1xMmouXa1fa+oeUEzR0hc4m8Es30QIi/8a5
zmr3pWBT33CBQbZRAhuPMefVQmLGmJ1ceJLuUm7stbqlL0lLeK9uRcremW3iub8R
PVmlOguHlSrlsqmDam2SKCZo5SJkC86tGM487eSdSYsFICCeVftiZxFRQqZLkh2y
Y3Y5aW7BPB2/dbsigMvH7cb4JTLj7S+ZViKR5CpAbwQvoSmtOz3nJIweSweMtege
yYbsts+c9x8b+hLMnr2XDlGcl8OQY9xwd9X5CNO/OMwwZIcv5EAScuPHMdixIE5n
Kp6m2p9w5LnoEP2O13FHcKidgKpS1jDpcw85NT2PkUUmcKSjXhtZ1ek2iCadrFSr
9tncVoczhv0cOTND12aJjOtcDkHzGPZkGsmYz92Kt3AhPRfxmSvXoZiFVy6RTrFB
BBDZ1E0n4utOQ++4/b0sBcJ8NnuO5lECc0FtoHJs6FhSS911NDo=
=j04r
-----END PGP SIGNATURE-----