[ubuntu/questing-proposed] coq-reglang 1.2.1-4build14 (Accepted)

[Gianfranco Costamagna]

coq-reglang (1.2.1-4build14) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:05:20 +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-4build14
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:05:20 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build14
Distribution: questing
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-4build14) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7be5903b3e0501c1fb5f1f40a2bb77f8233580d1 2120 coq-reglang_1.2.1-4build14.dsc
 8edc6f0fdcb3e24b9cc868e4afaa699198dd333f 8972 coq-reglang_1.2.1-4build14.debian.tar.xz
 d2a11e0485b60c5efb7e978a7a17a8221978922e 6896 coq-reglang_1.2.1-4build14_source.buildinfo
Checksums-Sha256:
 e15630727f4f089bb15897dce08486ca44879aa654b07345c79a3700a0d10c1b 2120 coq-reglang_1.2.1-4build14.dsc
 14987bc5311e6a2dd1271d37d2ab5ed9d398ca57e678a81d30969f833b0aa676 8972 coq-reglang_1.2.1-4build14.debian.tar.xz
 952986d23970c0aa8dc8ab7d78de10aaaf721a9308b82f2b7d59c96a2f8b58d0 6896 coq-reglang_1.2.1-4build14_source.buildinfo
Files:
 67ae3ebf0c273365e25b934494841fad 2120 ocaml optional coq-reglang_1.2.1-4build14.dsc
 b8efc3506f4f72ab0ccdd556b0ea95ed 8972 ocaml optional coq-reglang_1.2.1-4build14.debian.tar.xz
 d5ded5113c6851d24fcfd6c003cf37ac 6896 ocaml optional coq-reglang_1.2.1-4build14_source.buildinfo