cvc4_1.8-4_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sun, 27 Jul 2025 16:05:53 +0200
Source: cvc4
Architecture: source
Version: 1.8-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Alexandre Detiste <tchet at debian.org>
Changes:
 cvc4 (1.8-4) unstable; urgency=medium
 .
   * Team upload.
   * Patch-out usage of python3-toml
   * Fix Team email address
Checksums-Sha1:
 1826ffe7db471547f4eb5d7d5b86ad68dbbdb1a0 2231 cvc4_1.8-4.dsc
 6c9035d2fab82a14928f7fd7469c55b15e902029 17264 cvc4_1.8-4.debian.tar.xz
 f26db2d8476ea50ade8cea5926b200c5245716de 8666 cvc4_1.8-4_source.buildinfo
Checksums-Sha256:
 0c5f60beac8c853e61a16812294ed68d5c564d1df076f378517ec64676fb00b4 2231 cvc4_1.8-4.dsc
 331a3a0995a679105135b38d89f80603609c8bfd80d590d1fd549a3c0077e691 17264 cvc4_1.8-4.debian.tar.xz
 78e41049d4f22fe15bbaf5ddc969def8d776f67e1d640fdcc448716c3b081595 8666 cvc4_1.8-4_source.buildinfo
Files:
 745b0dfba58257664b907458c41ce521 2231 math optional cvc4_1.8-4.dsc
 9851ea44e085f5f35cdebfa197070c26 17264 math optional cvc4_1.8-4.debian.tar.xz
 268210a4aad1c01229405f707444928e 8666 math optional cvc4_1.8-4_source.buildinfo

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmiGMooRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBqy+w//TVlcL5yMekWsD2X8EEoO+bWeado5HSHW
T/cAVm0l1XrY0U+DMjL7gpm1xMfxb3YhKrK9uZT+PL6B2MQFlDzWBW/H619MesQl
sRAaAXL5nc3ejUFRQ4g2xQ9Cf5hyi+rLvz1g83cGFYa3oLl59M2Mltcix+wmebUz
/R6wsC+ebuo+Kumla9lZIEaeR0Dmmba+iBrsGD41f2i9vghWSppoeYmHnxeg02sr
viAxaHKnN0sDUSnH02edFXhsTcma8WeozYWsyJR6oP+1YdKWncdSTrPans+iznvq
9VPxigx0ICB5aufK8gLn8Cm5Xt0AX9d2UvrPZVzc0wPDTprbwbOF2YoMxk1I6ouD
toxCR5HhzRZty/QRkGcu0D4vWXD3O+BvwxnR9LQhdepJiwzgbGZNmRLdg06K4MAa
xZcO3F63WjW2nFtxSIG+gLfVFwqrhUq1DteCKFV0Pv8Bvn+bJDIapIGM8HnPEG6H
RkdCQBtbMYXCT/8YCDxVYKIRH80h0ef3g8X5cBv7uJPis8/Dzta7a1Vfj02x0Yjn
5ITgZPUj7hwXoaVw5QMjYF8jeu0yrNB4xKTgG7l1Ss4g6dXxSNA3PqWUADpFO3V6
gN/Z6fNAJxauKuU1M/lpZ3Ds1Xt0nzH01x0PIZhl5Un2F88hEpGzWiTD1ZEo6vh1
nLsGB0pShrM=
=vYbd
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20250811/a74130b0/attachment.sig>