[ubuntu/resolute-proposed] cvc5 1.3.2-1build1 (Accepted)

[Graham Inggs]

cvc5 (1.3.2-1build1) resolute; urgency=medium

  * No-change rebuild with Python 3.14 as default

Date: Fri, 23 Jan 2026 14:45:16 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/cvc5/1.3.2-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 23 Jan 2026 14:45:16 +0000
Source: cvc5
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2-1build1
Distribution: resolute
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Changes:
 cvc5 (1.3.2-1build1) resolute; urgency=medium
 .
   * No-change rebuild with Python 3.14 as default
Checksums-Sha1:
 023adc79c4698d05d60e1711cb910794d489e002 2471 cvc5_1.3.2-1build1.dsc
 acc7d747675af11d18731113e9812ece108e1b4d 8596 cvc5_1.3.2-1build1.debian.tar.xz
 2c16a8f5eb7b9c1336fb6ba6c7aff4bca00fbae4 10525 cvc5_1.3.2-1build1_source.buildinfo
Checksums-Sha256:
 a7d000a329a59a0703c9e77c504e26cfa2d94c9829312a2a2cf45bc9cc310b25 2471 cvc5_1.3.2-1build1.dsc
 ecd0fbadf3273619a25bcac9672cb680b5b26d1786c8b683172b0b44775240ca 8596 cvc5_1.3.2-1build1.debian.tar.xz
 55d56b2c8f7c8272eb2d763cdc2cde8db9b7d4cbf0426e2e2875be1e75133351 10525 cvc5_1.3.2-1build1_source.buildinfo
Files:
 d0904c99adc0f61c1b5609b6ecff8bd4 2471 math optional cvc5_1.3.2-1build1.dsc
 e527f748548c39deac5c78ba54725346 8596 math optional cvc5_1.3.2-1build1.debian.tar.xz
 1e94a7966031b2473e71455c5efa836d 10525 math optional cvc5_1.3.2-1build1_source.buildinfo