[ubuntu/resolute-proposed] coq-reglang 1.2.1-4build17 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build17) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:45:42 +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-4build17
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:45:42 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build17
Distribution: resolute
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-4build17) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 462f524930e63a22a6640426b70c4b9a5b8edb94 2120 coq-reglang_1.2.1-4build17.dsc
 6fa3c477b1bf522d2e9d7fe706234f818887295a 9028 coq-reglang_1.2.1-4build17.debian.tar.xz
 4c3480027120616d5fd09cf4cba32006f329b327 6902 coq-reglang_1.2.1-4build17_source.buildinfo
Checksums-Sha256:
 2ae25309e98dc464ba62c661ff004d7f0987df3449aae4a015e5dd2eea9cdb89 2120 coq-reglang_1.2.1-4build17.dsc
 7a3e9c2e03586e7af277dd5bc8683bd6521ad4c8eda3127d0cfb1f16a651f874 9028 coq-reglang_1.2.1-4build17.debian.tar.xz
 3c910a2e3517eb357c43118f1e14cfcaaec83fe05d686850913d269de8a4cb64 6902 coq-reglang_1.2.1-4build17_source.buildinfo
Files:
 23664572ae6d17ec8f7aabbc658ba1f7 2120 ocaml optional coq-reglang_1.2.1-4build17.dsc
 b937930c86c6d3dcb7b477d6c7b24b2a 9028 ocaml optional coq-reglang_1.2.1-4build17.debian.tar.xz
 38d988310dbe4ab727f5f1abbc073945 6902 ocaml optional coq-reglang_1.2.1-4build17_source.buildinfo