[ubuntu/plucky-proposed] cvc5 1.1.2-2build1 (Accepted)

[Matthias Klose]

cvc5 (1.1.2-2build1) plucky; urgency=medium

  * No-change rebuild for Python 3.13 as the default.

Date: Fri, 03 Jan 2025 14:45:52 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
https://launchpad.net/ubuntu/+source/cvc5/1.1.2-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 03 Jan 2025 14:45:52 +0100
Source: cvc5
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.2-2build1
Distribution: plucky
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 cvc5 (1.1.2-2build1) plucky; urgency=medium
 .
   * No-change rebuild for Python 3.13 as the default.
Checksums-Sha1:
 6fd0103da8103900cbe1d8a7b87d8c8823a8f5ce 2473 cvc5_1.1.2-2build1.dsc
 28e436d3736ccb6ee7e8b6c6166fc8b1f97302a6 7476 cvc5_1.1.2-2build1.debian.tar.xz
 3d0949fb7801315d2d98f9a7d689172f58c8768f 4652 cvc5_1.1.2-2build1_source.buildinfo
Checksums-Sha256:
 ca9b96b3682b6c00b4df31fdd2e28bc12ba868a30e9e0398f02e536bb80f8584 2473 cvc5_1.1.2-2build1.dsc
 cff91585173c797797de357b752f8ac87deb51b711128e7355195d77a9f97a5a 7476 cvc5_1.1.2-2build1.debian.tar.xz
 9e8bfaa415ef2de1aea98a68c4c606075a122f00f359f3c63dc83ce1c0804c73 4652 cvc5_1.1.2-2build1_source.buildinfo
Files:
 008f7eafcbd99da6e41aaeeb0df9b3be 2473 math optional cvc5_1.1.2-2build1.dsc
 a9f6dd219c1ab4fbdcce723692b5bc62 7476 math optional cvc5_1.1.2-2build1.debian.tar.xz
 d27bc307487e7e673b4a6a85170c3c79 4652 math optional cvc5_1.1.2-2build1_source.buildinfo