[ubuntu/noble-proposed] coq-reglang 1.2.1-1build3 (Accepted)

[Steve Langasek]

coq-reglang (1.2.1-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:00 +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/coq-reglang/1.2.1-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:00 +0000
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.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:
 coq-reglang (1.2.1-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 43839bf48fa2241780318b75b673fe247c702130 2232 coq-reglang_1.2.1-1build3.dsc
 c0fe01d8453e4eb58eecb493f387212ea05df9b0 8728 coq-reglang_1.2.1-1build3.debian.tar.xz
 e73cc32512742ce6aa73b1c3877374961f77786b 6718 coq-reglang_1.2.1-1build3_source.buildinfo
Checksums-Sha256:
 d9f2fa36267577c6478226e3dd3bcbba69995d65bb5c9ed545454857d0326d32 2232 coq-reglang_1.2.1-1build3.dsc
 5d29a5364011bea63023e58bb58cb5dfffd99c05c6fbf9c13d93a1be2298eed2 8728 coq-reglang_1.2.1-1build3.debian.tar.xz
 f034c49cb9342acd855d801a1ba57114d82e2b11f167aacb71b27ef93101bb31 6718 coq-reglang_1.2.1-1build3_source.buildinfo
Files:
 12c1e4a6877376716ef193174208c102 2232 ocaml optional coq-reglang_1.2.1-1build3.dsc
 a300c0b72f0550adb8bdd43f9a8ef5d3 8728 ocaml optional coq-reglang_1.2.1-1build3.debian.tar.xz
 2854a5ecb7fbd7201b9bd7ffe4a49f16 6718 ocaml optional coq-reglang_1.2.1-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>