-----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-----
