Accepted cvc5 1.3.2-1 (source) into unstable

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

Format: 1.8
Date: Tue, 23 Dec 2025 19:41:53 -0500
Source: cvc5
Architecture: source
Version: 1.3.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1074235
Changes:
 cvc5 (1.3.2-1) unstable; urgency=medium
 .
   [ Gábor Németh ]
   * Update to new upstream release 1.3.2 (Closes: #1074235 #1122401)
   * Bump CaDiCaL dependency to 2.1 as per upstream
   * Adapt patches to changed upstream build of Python bindings,
     remove applied
   * Use newer API calls in autopkgtest
   * Generate a man page
   * Fix typos found by lintian
Checksums-Sha1:
 68def395b82230f41ea8cc9f37b46bb6a74aed98 2468 cvc5_1.3.2-1.dsc
 f1db0a050c9cbb6f69de0d900c9c14e7fecca0b9 9250970 cvc5_1.3.2.orig.tar.gz
 de1ee3403b5ab06197bfe4690734c610bb529fde 8532 cvc5_1.3.2-1.debian.tar.xz
 0b42bb76a314821bc60f2b4545ccf4afb7910ab4 11713 cvc5_1.3.2-1_amd64.buildinfo
Checksums-Sha256:
 69afb320a25f1c4dee5c4459161bca999b6cbf38a24ad51df681a5b3737413c4 2468 cvc5_1.3.2-1.dsc
 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e 9250970 cvc5_1.3.2.orig.tar.gz
 ee2b9fd74ca40fd3c16d4ab019b4c07a5ef125b62b3e40ff7a2ceb42d91d5195 8532 cvc5_1.3.2-1.debian.tar.xz
 7d476c2544e708466172ae80767b1c2a12e6ed683ccbbd0e8616260451d43123 11713 cvc5_1.3.2-1_amd64.buildinfo
Files:
 b8a9aab4c59ffb5cea04768960c58986 2468 math optional cvc5_1.3.2-1.dsc
 8dd6d26279a3708de662279cd0efeeb7 9250970 math optional cvc5_1.3.2.orig.tar.gz
 5623a158479115de06ad2d2a6494cd3c 8532 math optional cvc5_1.3.2-1.debian.tar.xz
 bad120d090398efda25f89a0939cb776 11713 math optional cvc5_1.3.2-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmlLO6wPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iikxsP/0h6KsZuw4cb8HzoLvhUf377e5yrVkJx2CpM
Vu40TvnOxAJTMr7Yd238JLtf8cmDrMHCpkDwFd/pjHNCOkVkcW9ILT1noVozDaDh
F6wSxYcn98Zs3kF1ZFIqqkSU5uxGaAG2RCVuD6DZhXXTqA70Psq93GfqAtl5mrV0
ZRJYXhi7J+B1zN0rtBOSyVr691ZFJ7k+TWjZUIsM5aHvc9VbdXz45sJRe6MIFWaL
xim+eYu2vv/36OJ5bFb5YrnAJm2zOcVItsJnjOyyy73kXP/dblsGK+kHY9cgPuXv
cY9f9AwFfLh/k87zsoMt5tIgBSVH+5c1R1ZIS8esfAxY5hs1MerCx6D4MJyWFVPF
XbhopWuP8xLy2/UgV6q6dZCenuc5Z++RPtLW/nC5yPg5cdyuiF1I2IkrSC6vBHTR
MW4qU1iqPx+ixtLCfemTvR2mz6ACaiUzGvDu4f2y+7SSN0KTAi/wb/i/G2+j8CCL
IMd3NoKKEC1DX/W6vMpI5WwC6UinfWEaSFEKKAhmJRqwW4TpESWqWNZv8NZpLWgZ
y51B54e0c6HIioK3Z4RdjCTDPfaiu8DYfMcbDZzcbcUR+6HPpnAPqDcLuYnPFqps
eChLhjRDkZ0mUR/i9/Pw03WNODY+nhNvkLBOaKxa3TadA8oQipUnVnXkAgRn/h6f
BV/7DRSN
=k1NH
-----END PGP SIGNATURE-----