Accepted boolector 1.5.118.6b56be4.121013-1.2 (source) into unstable
-----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-----
Reply to: