[ubuntu/noble-proposed] coq-ext-lib 0.12.0-1build2 (Accepted)

[Steve Langasek]

coq-ext-lib (0.12.0-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:15 +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-ext-lib/0.12.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:15 +0000
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.0-1build2
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-ext-lib (0.12.0-1build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 81d32d7211d416c744d25bb4eb313c827cab6327 2204 coq-ext-lib_0.12.0-1build2.dsc
 4ff790f75a7e5a370826ee4a18847ceb892ece2e 2408 coq-ext-lib_0.12.0-1build2.debian.tar.xz
 09257a239531192bb5b6b8847aa00f22570cd063 6722 coq-ext-lib_0.12.0-1build2_source.buildinfo
Checksums-Sha256:
 69db5563c838fed8df85e746ace1d22ac9c0e68365e60b0007f34eb9a02ada92 2204 coq-ext-lib_0.12.0-1build2.dsc
 651de6840c0b8452c6dc4f68dac804647e03f187ba438836deac31a762269f79 2408 coq-ext-lib_0.12.0-1build2.debian.tar.xz
 6378adfb48bfe059ae38c611aebd9fcd51a04be9f05ca923e098367dbb9a6ec3 6722 coq-ext-lib_0.12.0-1build2_source.buildinfo
Files:
 a465fac178e06a01b874ff6590353256 2204 ocaml optional coq-ext-lib_0.12.0-1build2.dsc
 c27437e2d48e50d670fc906bb07416a1 2408 ocaml optional coq-ext-lib_0.12.0-1build2.debian.tar.xz
 2e497271d81a8df1bad6c532cd61e319 6722 ocaml optional coq-ext-lib_0.12.0-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>