-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 10 Nov 2022 13:35:53 -0800 Source: boolector Architecture: source Version: 1.5.118.6b56be4.121013-1.2 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Vagrant Cascadian <vagrant@reproducible-builds.org> Closes: 8311031 Changes: boolector (1.5.118.6b56be4.121013-1.2) unstable; urgency=medium . * Non-maintainer upload. . [ Chris Lamb ] * Do not embed kernel version and hostname. Use SOURCE_DATE_EPOCH for timestamp. (Closes: #8311031) . [ Vagrant Cascadian ] * debian/rules: Use C.UTF-8 locale for building to ensure reproducible builds. Checksums-Sha1: 9753cdc7c5bd1c4a741ff44b2e061438306db6b2 1739 boolector_1.5.118.6b56be4.121013-1.2.dsc f59bedc0695ca3bb48b210fc15f213caefa6b330 5280 boolector_1.5.118.6b56be4.121013-1.2.debian.tar.xz Checksums-Sha256: 6391207c493f7df86c9760b3d9138aec357ca74814eb6b7c08f39698be79f3b7 1739 boolector_1.5.118.6b56be4.121013-1.2.dsc 20bc31b6daf667035f6dfa6298fa5ca8b6a8469482937a12e7259976b32f30f3 5280 boolector_1.5.118.6b56be4.121013-1.2.debian.tar.xz Files: 2ef0c0f94256668c65b60fb2a9e3ca0b 1739 science extra boolector_1.5.118.6b56be4.121013-1.2.dsc 4afbd05fae82ee73fbc3a34210f95bca 5280 science extra boolector_1.5.118.6b56be4.121013-1.2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iJYEARYKAD4WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCY21wjSAcdmFncmFudEBy ZXByb2R1Y2libGUtYnVpbGRzLm9yZwAKCRDcUY/If5cWqmolAQCw54cVwcFWddqP hB49YCmWFAzst6veUGmHFP8gYPBj9AD/Vrmgy4dsCaAvG0TUABdDrwvvUXqNLbLM B1zox3c02wA= =iEjJ -----END PGP SIGNATURE-----
