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

Format: 3.0 (quilt)
Source: btor2tools
Binary: btor2tools, libbtor2parser0, libbtor2parser-dev
Architecture: any
Version: 1.0.2~git20250507.fb69ee3-2
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:
 246fcd76f7d7fae867380d03167e84e537fcd1dc 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 cebb978b93c8780b5dd8932fd407ad3613a1ee53 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz
Checksums-Sha256:
 d34a114668e5c4914d58b99ec82ac611843c96e714bdd1c008b901c16befbe7d 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 2a5ef16b59938d3e619c3a62f1f752e374857874f4b64b3f07613f5e98bffbbf 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz
Files:
 6f0fa48c3463ce278370d70890d4a68b 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 3b716e2abea00842c02920857656b83b 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8uw8RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtF57g/+KtD3pKH3/54lQswbecYGThGe4GZhl/NM
2UHvT4YIt//5Jfkjad/Tun3DD3mjQNaqGm3El6OjVL7olzwY+5aQ6GC+ALz2h8ol
6lwlNqcqKsf5tI0IUFSzs1OArr6bI3sVUgRn5nujwMcsYQrJbyk7h+0rndATBhTF
DFyJgHavlxBe8mVwFqYaPQiiRzQmxl7aR0acwBcTYijCvJS/wsAE8SjKPK3sjOSl
R1h2dFEZ9zabTFXljlzRBTBbfipZJdet4LDuMZLNaHLCkWuvwvNnLQ6ac91D6Yiw
71QSoWHNhIPHfEbn3etN4eLARqeeBM2cYSDovKT8EI9RHdzKk8T3tQgCTJ2GyWiu
MaHuQOvVkz31cI5tPWvXF/qNVvjITeHDnWDAnmO5qlKQY3O0mY7AwWku0QSSuQ/3
hXQl2KGxtd+7sGgd79N4qC+NgFLXjlG4sp66BsSsUtOUtucg+XydK3r0AuZCEBzG
YhdusnVIvS6juwUxu0GauOObvlpqspM/mNnWQ+iEwVpBojWHWMsbChd0ubbX2yr5
KZevkIY/d6WycSOeUhVR1BhwlPTkd8GAdxdbBmE/oF7S8EgRJT+rQSQBylWaRigk
cQOjlflxK/GRVMlzjvyFmbLG/XZw1iGt0cHzmxgd5GyNaCPSUL6KZ9qVgFdG1tC3
QtO8Y2nNc0A=
=OEsE
-----END PGP SIGNATURE-----