[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted boolector 1.5.118.6b56be4.121013-1.1 (source) into unstable



-----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-----


Reply to: