Accepted cvc5 1.1.2-2 (source) into unstable

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