-----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 <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@debian.org>
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-----
