-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 30 Jan 2026 15:05:45 +0100 Source: btor2tools Architecture: source Version: 1.0.2~git20250507.fb69ee3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Andreas Tille <[email protected]> Changes: btor2tools (1.0.2~git20250507.fb69ee3-2) unstable; urgency=medium . * Refine d/copyright after Gateway to new hints * Standards-Version: 4.7.3 (routine-update) * Remove Priority field to comply with Debian Policy 4.7.3 (routine- update) Checksums-Sha1: f321a87f54f7fc876abb42773e96852604c73789 2264 btor2tools_1.0.2~git20250507.fb69ee3-2.dsc cebb978b93c8780b5dd8932fd407ad3613a1ee53 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz 6307d35f762e68c93193d56392fb00d5f76fc9d7 8458 btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.buildinfo Checksums-Sha256: 33c34b1f8a8a9a8130d93f5887d47070bb3a4550f0ce09bd289ffe2532a8227b 2264 btor2tools_1.0.2~git20250507.fb69ee3-2.dsc 2a5ef16b59938d3e619c3a62f1f752e374857874f4b64b3f07613f5e98bffbbf 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz 24f5bf80582daa37c2dd7dfbe1f503a92dc104e52c0effa03fef948b96c20a52 8458 btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.buildinfo Files: 02918eb04fa9dc34a0d2d19fada544f2 2264 science optional btor2tools_1.0.2~git20250507.fb69ee3-2.dsc 3b716e2abea00842c02920857656b83b 3412 science optional btor2tools_1.0.2~git20250507.fb69ee3-2.debian.tar.xz fb2a16af313548c53d0ffb8f8662cc6f 8458 science optional btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8uxARHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtFc9w//Xai7Sc92k0ZzED20uYmpZCDsFjY/ooax JjZ2HJoickIbKR7oOFkoIHQPMdeGB9x9vwABMHxkZo3fCyLARbOHhIPGrS3fkoXg lYfisdLabdVfvbFvz9BOD9XmOcLdT7ZbpbsXqNrSk2d+OFWsk2tHsozWFLM0NI6L 4L9Z2UQ4LszWfN+u7p8FlrEqrFILdA1q8WQvsjHshqp9j3wbFJoJLeWtWoaKosE1 gq0LnPpZ55GCuA+gQP3FGl1njyMdo457AqjKc5gXy6oFYwdA65q7E6VTKnTcocSm 51UAK6Z+nN2UUha9m1xOITGSuafKExCt8WQW4wmCWMOcDiLLXsYD0PievLQaeBkg +avdHvdw/QE1oatYcm+VRClQYirkclK30Ti0mDj5qmotgCZh5685hKvtrIpMZggp 7Rb96SIr7cmZukgXxkedjUitA2lTxcRa10qfLQfnb4rSmTg4TbMiSZX2O++Qg7ZS QNEco1RAPYlQu5X+RehVh7zUyGwWyqUjX8tR0pmdb6nr2FDUNA5yMxyh9qtGLLHQ Kw8onENweM+HuwqsEBR8D0VAw6SWozZZl15ICBQ58/UjkdYFcohY+8GxdSzs7V9w rCN/8VQ0zpAgnBkKTp/IXpEmmfjkErsUC3Uriq4CD8M2NUSY2bTV+GMighQXd42J dE0GtYzi4Ns= =4vHS -----END PGP SIGNATURE-----
pgpI0XQWI8crN.pgp
Description: PGP signature
