Accepted boolector 1.5.118.6b56be4.121013-1.3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted boolector 1.5.118.6b56be4.121013-1.3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 12 Nov 2022 05:18:57 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: boolector_1.5.118.6b56be4.121013-1.3_source.changes
- Debian-source: boolector
- Debian-suite: unstable
- Debian-version: 1.5.118.6b56be4.121013-1.3
- 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=4vzym6Lj44baw6CPPApv/crGZtCZbk5l4cxyqIyKq9s=; b=bZlIcgU2lYsxIuXjd+zL5W5zCV jlmJw5dZKTve39K2lst2r2kE2End1XgwIgX+PYn5QDeqZyqX5fjSMiK74Qk20g398615Ueeam0Xf/ qen+e/JdOGRMqUcsA4jWsnytlRBpByo1pLiYaNJV3yuVjfCGv1vFEMvQdwb9z/ewsPGJy8y+D5sSX vriDDmP1fV+A4e12r8G1FoxzmHTV+nfBbkELmz37gmsfqQS1vk4arV/YyT7y0hdBaes/yNgwGtqT3 AICtep+ArNsERxfnX5BVbPelJNR9oZjsIoQ9BJVCEcr83EwAIBLFuoh1boQW35N02xPofFhBlPzlG ZDk02A7Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1otiuv-00G1PK-Pi@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Architecture: source
Version: 1.5.118.6b56be4.121013-1.3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Vagrant Cascadian <vagrant@debian.org>
Closes: 1023886
Changes:
boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium
.
* Non-maintainer upload.
* mkconfig: Do not embed architecture of running kernel.
(Closes: #1023886)
Checksums-Sha1:
93c69a54983bcafddb82baea317cc60616a7def8 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
86d0365b3cb14570895741219c1f2cd2c441f19a 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Checksums-Sha256:
2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57 1722 boolector_1.5.118.6b56be4.121013-1.3.dsc
bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c 5504 boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Files:
e0f67050bc7fab1ce9ad6f0faedb2ccb 1722 science extra boolector_1.5.118.6b56be4.121013-1.3.dsc
dfdbbab5e2d65e732397b76b58534f81 5504 science extra boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iIkEARYKADEWIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCY28pbRMcdmFncmFudEBk
ZWJpYW4ub3JnAAoJENxRj8h/lxaq2zAA/AlC0SbsFVcrHkxZOKTdFM1b6zcPUeXR
mx8EUwLYrVY9AP9fVSTjd7tVXTKBuAj4WNOjqoLCPQeQ/oyMr8yWsJ4VBQ==
=j8pT
-----END PGP SIGNATURE-----