-----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@lists.alioth.debian.org> Changed-By: Alexandre Detiste <tchet@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-----
Attachment:
pgpAo5ZYCLtKw.pgp
Description: PGP signature