[ubuntu/oracular-proposed] coq-reglang 1.2.1-3build4 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-3build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:41:11 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reglang/1.2.1-3build4
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:41:11 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-3build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reglang (1.2.1-3build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6ef5b4fa0c2847eb9d62df271332a73c524aa080 2116 coq-reglang_1.2.1-3build4.dsc
 2c3f4f5673a973854200e792c52f322547c3f947 8668 coq-reglang_1.2.1-3build4.debian.tar.xz
 91d48b9175e83d85ded24a08c9bfe3241cd4ac5d 7832 coq-reglang_1.2.1-3build4_source.buildinfo
Checksums-Sha256:
 f30f1a0381fd4e000c71485024f21c01f5e03bd5248282c667f41312e875089a 2116 coq-reglang_1.2.1-3build4.dsc
 ccfd7f78ee275a74641a74536b8beb0817d708de5258f748a4efc1f5dbf86232 8668 coq-reglang_1.2.1-3build4.debian.tar.xz
 a1c5451195a944aaafb5e7d18c0f31036b3fe5707b29d5ddd3c0fec4b1407b32 7832 coq-reglang_1.2.1-3build4_source.buildinfo
Files:
 b67ae8e3f0126e3f18d87797b40969fa 2116 ocaml optional coq-reglang_1.2.1-3build4.dsc
 db70b8434acc309524cb235c35b83e3e 8668 ocaml optional coq-reglang_1.2.1-3build4.debian.tar.xz
 d29cb2dfe923909bf79e6874ac6e3d98 7832 ocaml optional coq-reglang_1.2.1-3build4_source.buildinfo