[ubuntu/noble-proposed] cvc5 1.0.5-3build1 (Accepted)

[Graham Inggs]

cvc5 (1.0.5-3build1) noble; urgency=medium

  * No-change rebuild with Python 3.12 as default

Date: Sat, 20 Jan 2024 08:41:17 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
https://launchpad.net/ubuntu/+source/cvc5/1.0.5-3build1
-------------- next part --------------
Format: 1.8
Date: Sat, 20 Jan 2024 08:41:17 +0000
Source: cvc5
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.5-3build1
Distribution: noble
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Changes:
 cvc5 (1.0.5-3build1) noble; urgency=medium
 .
   * No-change rebuild with Python 3.12 as default
Checksums-Sha1:
 08b3d752b3866c599ca4b2a71065b8a7e2edeafd 2498 cvc5_1.0.5-3build1.dsc
 714d86d8b2e928ffd10bc9fbf03f212e9277d4a7 7136 cvc5_1.0.5-3build1.debian.tar.xz
 c60012751fdf4a232b0d29e0975fa3c3e66e0269 10363 cvc5_1.0.5-3build1_source.buildinfo
Checksums-Sha256:
 738a97e7b2548c88b2aea0573a6edb2f35134bf296107d49dd335d0697dee074 2498 cvc5_1.0.5-3build1.dsc
 0da8dcccaa7f7034d5cba79a4f13d3d4ae9d7e02eba0965c4f0d6a12b03c9832 7136 cvc5_1.0.5-3build1.debian.tar.xz
 6a2bb774a842d566a33f8445711e9b3a8bb28636fa444cd30dd560231e43e0b1 10363 cvc5_1.0.5-3build1_source.buildinfo
Files:
 e74109d6af3a1f609f3607fc18f8d911 2498 math optional cvc5_1.0.5-3build1.dsc
 403ad93cf4a6e36cbb7c00a62a09f60c 7136 math optional cvc5_1.0.5-3build1.debian.tar.xz
 8b451482f5621934d6fe121724708bd6 10363 math optional cvc5_1.0.5-3build1_source.buildinfo