-----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@lists.alioth.debian.org> Changed-By: Santiago Vila <sanvila@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-----
