cvc4_1.8-5_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: Mon, 27 Oct 2025 10:10:00 +0100
Source: cvc4
Architecture: source
Version: 1.8-5
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Santiago Vila <sanvila at debian.org>
Closes: 1112823
Changes:
 cvc4 (1.8-5) unstable; urgency=medium
 .
   * Team upload.
 .
   [ Adrian Bunk ]
   * Fix FTBFS with CMake 4. Closes: #1112823.
 .
   [ Santiago Vila ]
   * Drop "Priority: optional" (default).
   * Update standards-version.
   * Add debian/salsa.yml.
Checksums-Sha1:
 637cd5e4a1fcc4864b992e79ea704ee2b60d166f 1861 cvc4_1.8-5.dsc
 d9bc1f89b54867fd89409a5cfee213656a35c24e 17608 cvc4_1.8-5.debian.tar.xz
 abe5cc1f31493fcd09db5ecfa277f3b07c71368b 6711 cvc4_1.8-5_source.buildinfo
Checksums-Sha256:
 a8980b8cad21ebb5eb5e2047953b021cf6da9b639792e42df09a5cdb1c02ac93 1861 cvc4_1.8-5.dsc
 8e4d82bf9c25abac5943e7f80859159d39ad43128c4314b80357a01e466a0efc 17608 cvc4_1.8-5.debian.tar.xz
 9cfeb5fe575afda507d860a956dcc305048436ac15cbc91f700df7af5b8dd3c8 6711 cvc4_1.8-5_source.buildinfo
Files:
 e3e1702a222dccc159031ad05f940278 1861 math optional cvc4_1.8-5.dsc
 2f0452d02385454b1646beee02256bd5 17608 math optional cvc4_1.8-5.debian.tar.xz
 f25e5b8bee28d88b033e3d9a9f25d2e2 6711 math optional cvc4_1.8-5_source.buildinfo

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

iQEzBAEBCgAdFiEE1Uw7+v+wQt44LaXXQc5/C58bizIFAmj/OBgACgkQQc5/C58b
izIhpAgAg3ZjZLwYuRMI0xR5BRplQlThjosX/M2fOi8p9RDsvM2b1nWzNtdODS/i
1eEFJhQes1CDeV9F7+FyLKzOnRB+Z8xYcjmsuVZlozwAUtS/A4dumguYywOfm11C
rG5TVkCZazWVwmQZPuNVQOHqiA4/wojvlzG6Evy/nlMzZCvgqHJjo04BrHTfOsY0
DVR5inK5zNEvvhv8exisdql1aDfu6+SEZzEkhUBAMeiPE1vW7UmlGrc/CyuaA2Y7
alB335NlAUjmHsZsrcvYHo7vg1RaA0yv0S9UvDBP7xr7+W6kIJcnSgB8BKG8KHRj
RTN2R/iLjxUs8c6xFu6FjufvzNLggg==
=rjsN
-----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/20251027/b1c6be67/attachment.sig>