[ubuntu/resolute-proposed] coq-record-update 0.3.4-4build5 (Accepted)

[Gianfranco Costamagna]

coq-record-update (0.3.4-4build5) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:29:52 +0100
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-4build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:29:52 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build5
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-record-update (0.3.4-4build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8e63499b33c1f14c22b317ef3c14f27ef645609a 2147 coq-record-update_0.3.4-4build5.dsc
 9b7374b0f19b2ee7f54e9b048fcb23aee5310a56 2392 coq-record-update_0.3.4-4build5.debian.tar.xz
 cad9b0757fe4a525b05c883a16809a472a75eac8 7883 coq-record-update_0.3.4-4build5_source.buildinfo
Checksums-Sha256:
 29660832ab0e9aaa8f9a3932aa6f6c9400e129794ccba674ae10746988b828c8 2147 coq-record-update_0.3.4-4build5.dsc
 eddf0d2b1f49cca8ff5f150ed3143f3b43193893e8c8832724b5df01bd4966b9 2392 coq-record-update_0.3.4-4build5.debian.tar.xz
 c13313c992dd379ca101ca99bc50ab20bf166a04d54c9e964e70d6e2437608b6 7883 coq-record-update_0.3.4-4build5_source.buildinfo
Files:
 ca67e0477b01e4154fc97fc219b8ca7e 2147 ocaml optional coq-record-update_0.3.4-4build5.dsc
 ccad51d05c2647646ad846b79730d2a3 2392 ocaml optional coq-record-update_0.3.4-4build5.debian.tar.xz
 d29fd572ccbf45aca0a35eabc25cbaa6 7883 ocaml optional coq-record-update_0.3.4-4build5_source.buildinfo