-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 04 Mar 2026 15:01:47 +0100 Source: btor2tools Architecture: source Version: 1.0.2~git20250918.d33c73f-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Andreas Tille <[email protected]> Changes: btor2tools (1.0.2~git20250918.d33c73f-1) unstable; urgency=medium . * Fix Depends * New upstream version * Update watch file format version to 5. * Set upstream metadata fields: Bug-Database, Repository, Repository-Browse. * debputy lint --auto-fix (routine-update) Checksums-Sha1: f80851bf6723eb5156766f25dde35734e57d4f92 2264 btor2tools_1.0.2~git20250918.d33c73f-1.dsc a10a949d79d138d7b23cdac55b0c1f83a2a8e38f 62640 btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz 766c103058ece92b1eceba5c47e827eb441c3343 3536 btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz 221447b5fe617b58c83084f986ee2b06bc803020 8364 btor2tools_1.0.2~git20250918.d33c73f-1_amd64.buildinfo Checksums-Sha256: 92b1ad4a4f7515661d8a76ebb189512f5aba355da6fad0df1edd54079b5a7053 2264 btor2tools_1.0.2~git20250918.d33c73f-1.dsc 0f9e5138ec40e2e2335809d6a3bd32c22ec3909d541fe5ec0af8752d181fcf55 62640 btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz 5810d747f1eee16069a6b448d7b6e0cdde8d58dc1f5deed4a7abaf5a1eea85bd 3536 btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz 50ffc8df4b5cd3060d3cc3e9934a36f61a309ad5ec1853f8ca30ac5a8b992996 8364 btor2tools_1.0.2~git20250918.d33c73f-1_amd64.buildinfo Files: 6a9f13e7b381de3d78d56f1e9bf6bc64 2264 science optional btor2tools_1.0.2~git20250918.d33c73f-1.dsc c6795447a6295f0a67f9c52c6e2179b1 62640 science optional btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz 37fbb8128397e6d9a51497d7a02cdaeb 3536 science optional btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz f8b16e465eb8723e6bf916fc19642aff 8364 science optional btor2tools_1.0.2~git20250918.d33c73f-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmoPhkRHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtHwpA//WVZ0ZY3JZfHw7l9lHftxEJGsqZfVi7EY yPstDA9UOB9FwROAcR/hFFrV5TV7HJv6fEOPrZ7PStvjuwaXo/24wOt4TrnQ0iN+ +ni0hHq5063xWNi2OhdjMATY35xZVG56dEjBc1Qdqn7mlZjNMVSEQNnrF9rWAk25 A7yxtMiTo39xODe+YR/uNaVj7NSoVYdthgSMUvS4zL8EspkT/n+cWCFydXMnaWTq XUhCEhpitkDxHrx9MRNIk23KWl+PViz2gMT/2NNLuijRYP5wtaymkkf+JK+5S9PI 8tJKF/MNsDQ58ZNwH534aMhO6Wwjm1/M2aDQ/4SB3TdfdhSFUFFi0t/hgDPSTNrl KI9Zz0vMLVdfQ0OlzLPxfQUz2AKMpSCmqJEs5a68GJVavYfcXhw8eyLx3O//BftY 2hJ9xGukVjF+ijaW4vjWTMDywjZTkUFgifQ7NuEvluic7AbfsXlY71Ge1drhlsNg +jzVyF6BS1ELRY+ym4A3ZU4n+7aiTmZz+/U8O9bvLBDLcDIggI0U13kYCLf+jbcD G9f7b824moyD7PKwsAZpKCNagXDmAUciZKtGu3T0I2NeOjovWlhjk0W1CqWnQ8xS L38Asorf643XXmpcuvXnn4P8rDr97WPWJSulv1Wdzm4mSOvrkpcMuGWK7ub3yK7i 8M3bFkCuBBM= =gZTf -----END PGP SIGNATURE-----
pgpOUJkjbytNn.pgp
Description: PGP signature
