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