Accepted boolector 1.5.118.6b56be4.121013-1.2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted boolector 1.5.118.6b56be4.121013-1.2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 10 Nov 2022 22:04:07 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: boolector_1.5.118.6b56be4.121013-1.2_source.changes
- Debian-source: boolector
- Debian-suite: unstable
- Debian-version: 1.5.118.6b56be4.121013-1.2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=A79dn5JAjpesJtK9NFEB87/XFIA4cIuI56/g+kUIWig=; b=p7Aq9YugrJhoP899mVlmX0oazK XeSZSzEKwObX0kaxunjkAele3S/04zn9b9Wd7eFYbqgjYMilUTsVaclmDwS0p4XU5Cc7jiVPHSgbh US47PgKJuNECws11Il/dpbCSoJV7mFiOzNmlP+XK3yGhrq6AelLwn8naGEfmRI9Wde7HF868xQm7C SSMfU51DJrmoBYZK+etM6JUpOxOwiYm80feFnt8BaAm7DuSsHHm0ZrV+uQdXMWFWPzaI24o83bJ5W v0cfUWRCFzCWsqkAfH8CsOsdtx8dtI6iWlVyAFCsJZ/2ZIb+zizIYXg6p7e/hfiIS54rWOv3g8GW/ 3TxlB/wg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1otFeZ-008IMV-2z@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----