[ubuntu/noble-proposed] cvc4 1.8-3build1 (Accepted)

[Matthias Klose]

cvc4 (1.8-3build1) noble; urgency=medium

  * No-change rebuild for readline time64 change.

Date: Thu, 14 Mar 2024 02:53:15 +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/cvc4/1.8-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 14 Mar 2024 02:53:15 +0100
Source: cvc4
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8-3build1
Distribution: noble
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 cvc4 (1.8-3build1) noble; urgency=medium
 .
   * No-change rebuild for readline time64 change.
Checksums-Sha1:
 3cd8825fb2d364099efb7bd52f4fe705e58d759b 2247 cvc4_1.8-3build1.dsc
 a6e9c63759daf27e9b2db03ba681ff0f334bb245 16808 cvc4_1.8-3build1.debian.tar.xz
Checksums-Sha256:
 650ec0b37548b802a5cbcac268c6ad22a1f1d2696ef09726a2d3b220aa9bfd75 2247 cvc4_1.8-3build1.dsc
 11d16af82bcadaf3c6573d0c408bbcabe6779962926e01c1153441274165076b 16808 cvc4_1.8-3build1.debian.tar.xz
Files:
 2fe94e7511792d5c451111fc5da607bb 2247 math optional cvc4_1.8-3build1.dsc
 d4b45a5297da88b734d1a66a35a34c68 16808 math optional cvc4_1.8-3build1.debian.tar.xz