-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 18 Mar 2024 20:06:23 -0400
Source: cvc5
Architecture: source
Version: 1.1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1044976
Changes:
cvc5 (1.1.2-2) unstable; urgency=medium
.
* Update debug and rpath patches to be more upstreamable
* Use default linker (instead of gold) to fix FTBFS on mips64el
* Mark libcvc5-devel Multi-Arch:same
* Run dh_auto_clean for pybuild to fix build after build (Closes: #1044976) Checksums-Sha1:
2ee61b2f2809bfa60ef778a26ccbeb4e28594266 2470 cvc5_1.1.2-2.dsc
3cd5c3e0f9d3440e035804f1df474209df788451 7396 cvc5_1.1.2-2.debian.tar.xz
5b502d6d5f73652164d728c1e17260d514ff2c82 11445 cvc5_1.1.2-2_amd64.buildinfo Checksums-Sha256:
60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b 2470 cvc5_1.1.2-2.dsc
d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f 7396 cvc5_1.1.2-2.debian.tar.xz
33567ecfbbbbbd4a57813ad9d7fde18ac855596c6dbf33a52d9a39e8732774d6 11445 cvc5_1.1.2-2_amd64.buildinfo
Files:
ffc9db34c53f5a4bee55441ee4dce9dd 2470 math optional cvc5_1.1.2-2.dsc
1283632c1cc35bd3910e8424012429a6 7396 math optional cvc5_1.1.2-2.debian.tar.xz
5b963b3c37bcc44662d2147dd2516f40 11445 math optional cvc5_1.1.2-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmX6DeUPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiI6oP/jGKkXCXTgxS8zNIv99buxNE+JCJKImmSO0g vr2HjNw+//2MgRPWrOLaCR6Jt7DSOY+/cki476Zmjdo8Eim69TqPLBbzoEmDeMcL 9GN+X8wvALFu6gIgSY0gtxIHd4vp8KLp0yK00b0zmEd3PPsHIPTTIoqkuLPzc8SQ 0ZWLTveLWTF5ix/cAcOUNmkQnOla3qhfMZ6YNmn0Fw+oEYYKnhyejwRkpwM5rzhC FpblfAiM9x/TugCnpvn5BY5owYcpWf/46gogzhSe39z+bjo4nGx06sHopedemJjE SGgvD2c7L1r6AKgQzaD8REe4Egt2Lhb6HP3rg0+0RxjPBogzJ87czu4kBgbGNf+j c6QYrdF0mK5KoR1cwvbHfSjaZST1bYRsQXs90+qrqToGg4ZiIPKCfVv/OxrPYymV lzokXYe+wzWw2DaG628jPzvxyExOnbrV8MQ59WR8NYQM9wsEPblOv/SJCo6SvNkj dnJSVmHoCgXzgWyvvtJhM3l9CzaFGOrjahYzefYqM1lq9VmCVWyo2l+BuOy/VuwM MqsZ4B8qKLAuFdShYECp2iLUNckfJF96KeMIPl373cJWqz9IrGqgf5r2mhopD5nK DYqSz5N+A6w/Hg1Zt800iQo8y73Z2OvfNIeYnvFBHQTP9RkMVrTmvFmDjIxUhzDW
Un1EeB/0
=af9Z
-----END PGP SIGNATURE-----


--==============‚68086333186031319=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZfoTFAAKCRCb9qggYcy5 IZYdAQCB7EYRwcIRt/66lAc/z7FDCgtgeSwUC+ciB0XO1mrtaQEAiLOuE2jOc3Lm tN93lBcpyls1EhfgxtucGnpCDYRJRQI=0UEO
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)