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