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

Format: 3.0 (quilt)
Source: btor2tools
Binary: btor2tools, libbtor2parser0, libbtor2parser-dev
Architecture: any
Version: 1.0.2~git20250918.d33c73f-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Andreas Tille <tille@debian.org>
Homepage: https://github.com/boolector/btor2tools
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/science-team/btor2tools
Vcs-Git: https://salsa.debian.org/science-team/btor2tools.git
Build-Depends: debhelper-compat (= 13), cmake, d-shlibs
Package-List:
 btor2tools deb science optional arch=any
 libbtor2parser-dev deb libdevel optional arch=any
 libbtor2parser0 deb libs optional arch=any
Checksums-Sha1:
 a10a949d79d138d7b23cdac55b0c1f83a2a8e38f 62640 btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz
 766c103058ece92b1eceba5c47e827eb441c3343 3536 btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz
Checksums-Sha256:
 0f9e5138ec40e2e2335809d6a3bd32c22ec3909d541fe5ec0af8752d181fcf55 62640 btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz
 5810d747f1eee16069a6b448d7b6e0cdde8d58dc1f5deed4a7abaf5a1eea85bd 3536 btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz
Files:
 c6795447a6295f0a67f9c52c6e2179b1 62640 btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz
 37fbb8128397e6d9a51497d7a02cdaeb 3536 btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmoPhkRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtGIRA/+IWiZgLcFUb50UADgpLL6fiOeE1PU9HVB
kWYxejsKk8J0cW0JxPf1b4HjD77r3l1L9zvg44ux7t/TNxdicEszm22NYMwmhh7W
IPrQKCZkLGVhMCuPWV6RoAmqnvv9tjW0ZUpaMwsCnHg4TawYxpB7SsGjTNQvXXXo
DZV38HBUSN6E3xD3/wrkkyJJ2Mnj1g+LFw84O8/OYjqSeOaFWe7Wtm/fLPuXRuzk
BAOEVpd/Qi6KUqi7M17amXeLAT8IASAeKtbcPoYKtUXKuVCS2smt2tpBPiTAie67
S7O248hJjwX49/W11CK67ByMauUSwcDp1pQ3jA8SYCxW68QQynpfISZKJDOItsh8
9e1b+oirkxzVg2XDhzWHkfZoH7/hXPK1sTJLxfJOPZ5CQGUuWMLnTLC/+RMFdi3L
VnhsBBoHmgxTGda5FiSumEBz65xWz3nPtsCjGvw4Y1RK3glQNQM8620LMNPeYsGF
SwMBgQusOsQ4QHYFXwpyUDgiadO9QWmRuiCpXPlgM3wC6ycNPXIsjQmRb4WnoF2i
wxwQElp/D7d52XVCrwQOxmAqKszmLU/wKU/+o7/vQ85fvZUxFtG2QF8hACvcywTQ
U3IiUtYc6gSqEk0bV9ABSnx8gTLmtM0K4qp1CMIZhrgVabhdoyC7lMj4EKjQVDbz
3Z5Of2WhdPA=
=+XII
-----END PGP SIGNATURE-----