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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:18:57 +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-4build16
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:18:57 +0200
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build16
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-4build16) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 90e3db94205be60a7fd157c68230828976b65a64 2120 coq-reglang_1.2.1-4build16.dsc
 84e9cca5f1deb8021742363134f4fe3d4edaf88e 9004 coq-reglang_1.2.1-4build16.debian.tar.xz
 e3b4d27fd8913b5bae0f0132eda6049548030523 6900 coq-reglang_1.2.1-4build16_source.buildinfo
Checksums-Sha256:
 4b4fb6905415e3de158ba2847a5a7403d2babdf2d656288bf0526a101dcdb77e 2120 coq-reglang_1.2.1-4build16.dsc
 442aad9fce62c675622644123f1d34a05835a6c7ba9fa33d9d581708ac4dd089 9004 coq-reglang_1.2.1-4build16.debian.tar.xz
 f495f846863b0f7d9c5526c07d4f3bb3f86b169fccc0ac12d72b8302dc173455 6900 coq-reglang_1.2.1-4build16_source.buildinfo
Files:
 c1ee89f600f68da1322d30de1660a4c0 2120 ocaml optional coq-reglang_1.2.1-4build16.dsc
 2dfabccea999207ea8c56fb710983bea 9004 ocaml optional coq-reglang_1.2.1-4build16.debian.tar.xz
 2a584923ca3ac694310eae33d42bb2a6 6900 ocaml optional coq-reglang_1.2.1-4build16_source.buildinfo