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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:34:00 +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-4build15
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:34:00 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build15
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-4build15) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 740e3265ce21e3bebcbb84a8252c2aeaed312ad5 2120 coq-reglang_1.2.1-4build15.dsc
 1dd476cdb44e4cc77de5156febbb9e3a3afec5a3 8988 coq-reglang_1.2.1-4build15.debian.tar.xz
 abaedd5d0f2f9214acbbbcd5a65aa92a4c181e64 6896 coq-reglang_1.2.1-4build15_source.buildinfo
Checksums-Sha256:
 d774b6c04f358787e56c62f43e888b88e9a55f86596f1b09b2dd4e668c118f6a 2120 coq-reglang_1.2.1-4build15.dsc
 44c2d43de4b2d39d12ace11ff46b62ab819c7be979912f889bf428aa6d03bc43 8988 coq-reglang_1.2.1-4build15.debian.tar.xz
 b69a948c0d90cd0e8cb32e774acc8449b44e155a9d611cd92b117e46c9731b9a 6896 coq-reglang_1.2.1-4build15_source.buildinfo
Files:
 b9940b20c35b0f45224cfd69102ffa4b 2120 ocaml optional coq-reglang_1.2.1-4build15.dsc
 97948e2b8868eaa1a024b29cf2159fe6 8988 ocaml optional coq-reglang_1.2.1-4build15.debian.tar.xz
 011783c75b890609b0a5d1753023508f 6896 ocaml optional coq-reglang_1.2.1-4build15_source.buildinfo