btor2tools_1.0.3-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 23 Sep 2026 10:49:20 +0200
Source: btor2tools
Architecture: source
Version: 1.0.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Andreas Tille <tille at debian.org>
Changes:
 btor2tools (1.0.3-1) unstable; urgency=medium
 .
   * New Homepage
   * Adapt watch file to new Homepage which has tags now
   * New upstream version
   * Standards-Version: 4.7.4 (routine-update)
   * Reflow Uploaders field (cme)
   * Set upstream metadata fields: Bug-Submit, Repository-Browse.
Checksums-Sha1:
 8999f75a9d72d8f3278b9f25a7af8c0187d1bbd0 2120 btor2tools_1.0.3-1.dsc
 d72a240d602fca778cdd0082998095d58ffaaf51 88197 btor2tools_1.0.3.orig.tar.gz
 8e8ddb7d6aace2f6835c92956ed9fc295e292782 3528 btor2tools_1.0.3-1.debian.tar.xz
 4c074c0980b332ab9df05815d0a91f9ddd69e35f 7832 btor2tools_1.0.3-1_amd64.buildinfo
Checksums-Sha256:
 3f8444e71665d63874c2aa10f3cc31fb14fa12e4ff957e76164fd45e09c8cef8 2120 btor2tools_1.0.3-1.dsc
 e9cf6605772cbfa0936f17cad96beee8c5cdb6dd11b3d8b35a659e8d9b1cf063 88197 btor2tools_1.0.3.orig.tar.gz
 793fe2737f04c0652bb415db0453906ea36a54a0a58ee4302a3151e432932d3d 3528 btor2tools_1.0.3-1.debian.tar.xz
 1b026243795824d1b5104b4bfd00477ed9c486d4a75a380860149fc001f4ec3e 7832 btor2tools_1.0.3-1_amd64.buildinfo
Files:
 5226c3e2ad27480aa612a63bc31630e1 2120 science optional btor2tools_1.0.3-1.dsc
 a541999bb0fd66809d7fd8e50c5c63e9 88197 science optional btor2tools_1.0.3.orig.tar.gz
 c1b8ffdbf247809c5e49806338a1be65 3528 science optional btor2tools_1.0.3-1.debian.tar.xz
 2ba2d005ed01f51cdbcef428a32d2af6 7832 science optional btor2tools_1.0.3-1_amd64.buildinfo

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqzkv0RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtH1CQ/+LqPitT1HTex8wQXL83Rspo/xVa2O0wpf
vhadHox7N6FR+co4Y6snNfQtSbnc/IKuRlEemvvZQb0gbrqs6e0LnYt23kTi0s/L
a+c/lWrG4YZDCllBo/oIL+XoWfLI6GBMq1y9RcEFSd2Z1N1OCzLWrxDie08PohSw
cEHt6lSdJ4BFGHEQWmqQdKEc5Eg0ZeRxZExN7VdGgDVw+MKjRoh7E3E8LiONp5OK
DYLAGmxjEyKZb88Q3R9jijO/ssFfLgWQxsYRGbDPUJjEhLxsOFuYyWS+1dw+Rq1z
pOPTuSvVTmR4kthVmGE6uxq8gZrSK/N7nJ7dh2bmyZ4UANSQcNVF36Qe0niFqC3a
JUoJKoJYVvQvZBz9BEU1vb3UtclggsYCIdZyKfTmfYg34RNkyadOWphyvS/KId53
zxHQk5Y61hhIvaoASBwolLzy9O9ku2gwZ9aKrbF5ETzrYsBzsBOX0SwCe6yLydIb
yV260IOHpS1ayp0wgGeRwiQH7KSQbCFAj3WrFQnbUj1A6we/xuThu/IqkXDmPEVR
GOGe5DQOP8dhX75pSHD15U8XZGxxxHJOTTtGtnjZWq4GbgAHbsO4QoO0WJxHiEHN
kkIoYaxcTMKMA7a2FXh0PDJ4CN3G2iqg8q0d4R8zYHukkNIF0KyFjsWcVJ1qU/R9
BWUiVwLfI0M=
=JWKu
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20260923/db644e3c/attachment.sig>