[ubuntu/questing-proposed] coq-record-update 0.3.4-4build4 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-4build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:17 +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-record-update/0.3.4-4build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:17 +0200
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build4
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-record-update (0.3.4-4build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 34b644c8717bfd772977aa0780795cc3fa766025 2147 coq-record-update_0.3.4-4build4.dsc
 cf36445f329773c44bd6586bd4da19793efff991 2364 coq-record-update_0.3.4-4build4.debian.tar.xz
 363aed655fd07aa9d6e016236ad201d8f0d8b5e3 6890 coq-record-update_0.3.4-4build4_source.buildinfo
Checksums-Sha256:
 132f5b7500568cd52febaefc079b6a3ec5592b57f752d3ab117a29f6d78928ad 2147 coq-record-update_0.3.4-4build4.dsc
 09ffd7749868c723363b9bb2cdc74389c3b510f5148f7251ec02cfe757bda51a 2364 coq-record-update_0.3.4-4build4.debian.tar.xz
 b8fbb310f767c6cc577aa6ed63b1b2de5f37761ed381d97e864cbfcf3315f4f8 6890 coq-record-update_0.3.4-4build4_source.buildinfo
Files:
 f67e1228a313a389244286973fe4a953 2147 ocaml optional coq-record-update_0.3.4-4build4.dsc
 6092e658774dfaf40319e364ea1c0666 2364 ocaml optional coq-record-update_0.3.4-4build4.debian.tar.xz
 827cb5f58ee9473b26b01bbd5bd7bc16 6890 ocaml optional coq-record-update_0.3.4-4build4_source.buildinfo