[ubuntu/oracular-proposed] coq-ext-lib 0.12.1-2build4 (Accepted)

[Matthias Klose]

coq-ext-lib (0.12.1-2build4) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:20 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.1-2build4
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:20 +0200
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-2build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-ext-lib (0.12.1-2build4) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 ae5a7a455abc54889eda8776e3041acd420966ec 2088 coq-ext-lib_0.12.1-2build4.dsc
 cce84e16b3734bde9533dfbedea8c82393fff4b1 2512 coq-ext-lib_0.12.1-2build4.debian.tar.xz
 c8c295c745b0a57ee9ee9b52fa590e99dfd327fa 5704 coq-ext-lib_0.12.1-2build4_source.buildinfo
Checksums-Sha256:
 fa40a42a0185efdf09a566614981d0baeb4f105588c9ca009ea8108e8bb4f563 2088 coq-ext-lib_0.12.1-2build4.dsc
 96d1f4d5ccd1ac935762b8b49a2ae1bcfb59af2619ffc975ac623d103681fd2c 2512 coq-ext-lib_0.12.1-2build4.debian.tar.xz
 0b4c3a5c8c42aab6ee3d00fa3ae65fbf7f97db7064407a89b99f0e88a7063e42 5704 coq-ext-lib_0.12.1-2build4_source.buildinfo
Files:
 8ed3f6ab7ddcdea74be48908283bd48d 2088 ocaml optional coq-ext-lib_0.12.1-2build4.dsc
 0945b59e21ae5cb5f24d6de298f13c5e 2512 ocaml optional coq-ext-lib_0.12.1-2build4.debian.tar.xz
 28bac335444f48fe054a31ff9e67df38 5704 ocaml optional coq-ext-lib_0.12.1-2build4_source.buildinfo