-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Dec 2021 21:53:28 +0200 Source: boolector Architecture: source Version: 1.5.118.6b56be4.121013-1.1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Adrian Bunk <bunk@debian.org> Closes: 965441 999261 Changes: boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low . * Non-maintainer upload. * debian/compat: 5 -> 7. (Closes: #965441) * debian/rules: Add build-{arch,indep}. (Closes: #999261) Checksums-Sha1: 6e1fbc3bf900decd83d44a9756bfed6cdff2288d 2165 boolector_1.5.118.6b56be4.121013-1.1.dsc cfd3bb4c191e20046af1f4682e2287059ed1f535 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz Checksums-Sha256: bf2f37a125373101193db2b574f261a2746a5f4a95d4aed82a4e69b9e4beeb51 2165 boolector_1.5.118.6b56be4.121013-1.1.dsc 46b9da2978815cdaa340ac58101aee84b2595a5ed6641ee2a324b3e1176ea65c 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz Files: 1253cf6dbbb93c89751c16e99b03f4c8 2165 science extra boolector_1.5.118.6b56be4.121013-1.1.dsc 6925d3fda0b2f51ab7767113d45347c0 4704 science extra boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmHKGlcACgkQiNJCh6LY mLEBbRAAoEaI1faQe9KHDTBMoIMTcvSditth8MpOzf+BGQGX8ncKANT4GHXWLMrp plNl6RPuiqXXOWgTfQA3XHQVI1Sw5XXX73acDyA3DukzLn86e4mmk0uFtSx/UqDF ZEneicELuJxTkO7E3eMw5MAE4xz9CLI2E4kV7pv9ROWmdHe5e7feZhZXhpYYtSK1 iTvapkRFMZ4jDj8j5Wm8fR2zp76Y/ErpsHw6kl58NrE5xYuWSQ10aUWOtME+qKz5 Lk/lOyias+xr95jmUvghrkxkFCPKhlkkYFAZWX5lDHoL9H7p4wbCNuZeL3LrxIrz wq8+bAWRiB+UgM3a+q5Oe6xHVsFUSdXHnnToQu/VyCI6khdPTNMwlM6EprFWg+Ps ms8cp8NCIu376MfxsLdQBRiJzTSA+BLV9foVC23Etkx9Qr0O2VupP+J2ZGeakORn M3+F0CB7dhPGioH0Del6fC7UqhUO793psNQG+eVlTHLWvyJ65V0U8SGZXTb6dZd1 mKwMSOfbDg7FkW8oc3V3AOsqziRyRMXz1ofpGzTeAfnUx1EFEUVJYEl6ofF4UXw4 dumNc1wiAErqBFHz/LMR9MBizhtMnz9MRYVGRPOrNO0UXGJ+KkdEAHIIWmhB+82q l6BCHhce/Wsf+aiycYZo/xnbDlVuiuSbtChwP8E82r+r9XmgUGY= =N1hZ -----END PGP SIGNATURE-----
