[ubuntu/noble-proposed] coq-extructures 0.4.0-1build3 (Accepted)

[Steve Langasek]

coq-extructures (0.4.0-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:22 +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-extructures/0.4.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:22 +0000
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-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-extructures (0.4.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 ef04aeb0e50f7589ad6beca05d81d6eec05c15ae 2281 coq-extructures_0.4.0-1build3.dsc
 f746250e5036801f16da73e9920a50c6823d6c7c 2436 coq-extructures_0.4.0-1build3.debian.tar.xz
 8f0deebf7b233a982cdedbd1e3cfb8f958f2efa5 6734 coq-extructures_0.4.0-1build3_source.buildinfo
Checksums-Sha256:
 dc876e35ed7bf3a3ae311c8f7673951c7f34c7d8934031c93eb56fc81a1b3d57 2281 coq-extructures_0.4.0-1build3.dsc
 7d3ba377f2fce77e051de760001f013a93c62a069777a433d1ccbf84edbfda66 2436 coq-extructures_0.4.0-1build3.debian.tar.xz
 956de01ca8bec7a4ee1a541b4bfa8bd5406101ecd82168f880cba0b04e26ade5 6734 coq-extructures_0.4.0-1build3_source.buildinfo
Files:
 1c00de907844666a511e66fe4c78de5c 2281 ocaml optional coq-extructures_0.4.0-1build3.dsc
 890175f20e879f684f3dfa48fd7cd8b4 2436 ocaml optional coq-extructures_0.4.0-1build3.debian.tar.xz
 85e5973dfb09ff113961fd394958f0e5 6734 ocaml optional coq-extructures_0.4.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>