-----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-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.2
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
 6fd6d5efe9c8afc103f213c87c7081c14a17222e 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
Checksums-Sha256:
 d34a114668e5c4914d58b99ec82ac611843c96e714bdd1c008b901c16befbe7d 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 b29faebcdbfad57caa09701021f4e2ad8c2959c5257cc81b7aca684178810910 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
Files:
 6f0fa48c3463ce278370d70890d4a68b 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 5def3c0e7f1e372976e7fddcb2121a9b 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmipSicRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFtFA//QGNTzo+0rLWimdyyCa/ED+6vjs3AgCOB
bpapzAmpPc0BQFZGrNg98Jlw5KvvL8ThA9w05FfsKsc6mC6monm5TPBW9fhA7IlN
4U2erx7h/361zNZkNywxfL77lPIwvJHOfVG0twCO0+niNcJqFh6hGvgz7XiAJzBf
qa3tD1aQ2A0kgjmNg3FuwgOLjYdu+XEeLn9uWn8NJN4f0bWGvgVMj8rUeMtJG8ra
jOvXnuMUqFlnr8neg2cm3V/p7Q3anPwWfPmEvkZ/hiR7IWVnuGygvGwbO5WGct5A
NmcU//k7HwnKrRdt2l4bBMhtWB6hatFUDHysT7sViQ/NGFmJ9oXiskVRygF8+x0m
a8GI8Kf40dI7C1kViVGxDVizQwoNRFM87uEcEV11vZ70QDt5JAuaLsl4kzngdbqE
lKZd6NY0uwIa9cXjrHbl6PKTnjXd5e9cUeYMJmLVfIKm33s1uqp2jwcIXpwyCu4o
X+D4bJOzaBXRY+ma0vj7jQS2quLinBHtxoOzh3XZO0QpQNxMlEb0bPYiCmorkNtw
RjWosmWIn9Fb/Kq/g82lykDHU7IE633xuj5XVGBop0DWTsa8MpaZ1UN3hmNUGUBp
QRvaic3rJ1uSALAEyt5WJ/S6Lj5hbGxQo/twgR7fWARn8DcwbKyEmlgQ1inptg9G
sLEQCqSp40Q=
=IyAU
-----END PGP SIGNATURE-----