[ubuntu/noble-proposed] coqeal 2.0.1-1build3 (Accepted)

[Steve Langasek]

coqeal (2.0.1-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:51 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coqeal/2.0.1-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:51 +0000
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.1-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coqeal (2.0.1-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 b07f54c17f402f72afc6648b5d07ed9c350e68f4 2286 coqeal_2.0.1-1build3.dsc
 0b139016ff73e1d5968d627ea1b5460eb0c7ce88 2516 coqeal_2.0.1-1build3.debian.tar.xz
 4b4dff4b270934fbf3cc771d50a3fbd607c6a1af 6698 coqeal_2.0.1-1build3_source.buildinfo
Checksums-Sha256:
 49cff3a68ca8bb82757db007450bc093d981dbd39356568af288739fa6f18d47 2286 coqeal_2.0.1-1build3.dsc
 022e708d546c35da5794a7559da63b4fe30fe217bd25c7cbc2999e9c6cf2eeaf 2516 coqeal_2.0.1-1build3.debian.tar.xz
 112ff3b42f04f02b3d7e9c87325fc8e3156f6d499cb8c40fef9d3a1a94c0920f 6698 coqeal_2.0.1-1build3_source.buildinfo
Files:
 52f8582bcde4dff9d5dc85a268728c27 2286 ocaml optional coqeal_2.0.1-1build3.dsc
 643d0e33b088018f913dc0d7f8bf49a6 2516 ocaml optional coqeal_2.0.1-1build3.debian.tar.xz
 247c6b08f51a49e91edc5ff3dbe91a3d 6698 ocaml optional coqeal_2.0.1-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>