Accepted btor2tools 1.0.2~git20250507.fb69ee3-1 (source amd64) into unstable

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

Format: 1.8
Date: Sat, 23 Aug 2025 06:54:26 +0200
Source: btor2tools
Binary: btor2tools btor2tools-dbgsym libbtor2parser-dev libbtor2parser0 libbtor2parser0-dbgsym
Architecture: source amd64
Version: 1.0.2~git20250507.fb69ee3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@debian.org>
Description:
 btor2tools - generic parser and tools for the BTOR2 format
 libbtor2parser-dev - development lib for generic parser and tools for the BTOR2 format
 libbtor2parser0 - library for generic parser and tools for the BTOR2 format
Closes: 1111868
Changes:
 btor2tools (1.0.2~git20250507.fb69ee3-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1111868)
Checksums-Sha1:
 39c7d0ddaaffc87a191933170373be657112be80 2264 btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
 246fcd76f7d7fae867380d03167e84e537fcd1dc 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 6fd6d5efe9c8afc103f213c87c7081c14a17222e 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
 49f025f3352873fc6c081007db90d6ea1044c827 651592 btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 0a99063f843a10b7c2fb954997d7449de3f46928 8510 btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
 fa478d74f71467641764001fcb7fbc5ce3e1160a 66280 btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
 7095e5c2fc0d2a32a95c8c0cc62c3ff219e8362a 17420 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
 0a511cce222155d78f8e07764947b128fc095660 40900 libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 e96bacb1465d2ab74dccd707d520362965489e46 15556 libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb
Checksums-Sha256:
 6d405d91879da439d1f71a1f757bf448cb49c724b220d41005f25da10dbbb6cb 2264 btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
 d34a114668e5c4914d58b99ec82ac611843c96e714bdd1c008b901c16befbe7d 62652 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 b29faebcdbfad57caa09701021f4e2ad8c2959c5257cc81b7aca684178810910 3096 btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
 1e573acb7d20bdd11c8d1926275625ce897a78ca558b1a3e59cb45109523d3b1 651592 btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 f7c1e8255b738f86e2cd3a21782a3ca7453be3f0629ead9b75d4736449ed4c62 8510 btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
 8df5a9b93edd8218cb8097efb0e3cbdd5201ba317a94915f5e94b3f7f9dd95d3 66280 btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
 8bea9176b149db9bfd127b99334c7c38cafd6e1a7a8728f79cf360f9eee80e8b 17420 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
 a13505adb263958d0bf62613925450e64e173313b3b52b976e9a699c3753dac3 40900 libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 89bd92cbeb1ed64891a226300d4d91aef7e75d8de3124b043553c651bc3ec48d 15556 libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb
Files:
 3e7cf578543cff67bb9c593cb22abe32 2264 science optional btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
 6f0fa48c3463ce278370d70890d4a68b 62652 science optional btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
 5def3c0e7f1e372976e7fddcb2121a9b 3096 science optional btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
 58de1fd92059966347b92cfc9e5b8ad4 651592 debug optional btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 c82b63f97b560ae01fda0544bb3a571c 8510 science optional btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
 a24e658d7879ae5ae8686275313a552f 66280 science optional btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
 9db5450f4c0d5cdf9927deef5d41b99f 17420 libdevel optional libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
 a2268cf51a4b20b1fb012bb095e0587d 40900 debug optional libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
 0b7e2e8654f59ac231a6a91a9c954888 15556 libs optional libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmipSicRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEcYg//RAH2U3cCbrip8BiPuM1GZls4Hzz96M3C
dTuh8oMfsOYwsarll+YdMlFyev/N496X765WilBi56zjBJKfeBHBbwnef2FgIzsa
LU4FaLL6BecyrXO738R5A0b0ExCVT5wz7sVSyI+rJ0iVGebg2oBEKlV+5uiX4oLW
aP33n2rkInCi0VaAqYwCq+cPWZPvCBrbs4mIf2O0/qvHhoGrAQdAMtll2uMQ0zEW
JE5reEblzE44gQP1tSJQM3hAb1Lpf27GhenGehR1QgPZeq+Pbe7HN7laoD9jsnBf
a2QjV5l606dERHZXYiBMJMw6CAgtyaUc0LhYkUSgF++VXdzpG/z61Wb1YcTkrIWe
7D1LWxZL04hud0HKQ1ogfYgrydxe6NwVps9J3iY30n6gaJu2XvR+P4YMkiewM1gh
9EgdHDaN3Eas3AMvuXWQ8H92JmLFy50crkhxHkRACCwlOcpl75kTaiX3b8hbbBcj
k7oLiIBtY6H73Iye34xMqqKbkF3bL3Hbe5+KqNSzobczqw03AcBSHNYiBKhnBi/n
G/ktS8wNFaAdoqgIw1ORxvxgdfpW2jComK7U9kkyKK8AloaEC4Q5PslXLcA8e7cr
rIbgXqH9ZGFdl+Szv5ZOuTJ4D9GB9bFNih9/8UzS9KuGCsO/9Z4bR1YQgjmjZCjs
TrjoGeOpNBc=
=+dy/
-----END PGP SIGNATURE-----