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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:37 +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-4build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:37 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build6
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-4build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 95e00371bf9e6fd0d0e88db812681f3335e941bd 2147 coq-record-update_0.3.4-4build6.dsc
 497abb58ee639379372cf3a77d52a8e4375d5a4c 2408 coq-record-update_0.3.4-4build6.debian.tar.xz
 34d121cae3b5e2969b955861afd40b4b63146eab 7887 coq-record-update_0.3.4-4build6_source.buildinfo
Checksums-Sha256:
 51828f9e021209d73f41dba98359ce618979c56498063c721e9a27ab8d1954d6 2147 coq-record-update_0.3.4-4build6.dsc
 5892f2cb70f3f19807a20708e796d136b3b7d8b3529d2e50039c61b70893ff79 2408 coq-record-update_0.3.4-4build6.debian.tar.xz
 c118b3998543b1f09a9e832665189d864b5811c2475ccd17a16ba746841f158c 7887 coq-record-update_0.3.4-4build6_source.buildinfo
Files:
 6aae1aeda080b8412b5bbbd12ce6c39f 2147 ocaml optional coq-record-update_0.3.4-4build6.dsc
 dc78d1a15ffed2cf337d2e8f5818b8b7 2408 ocaml optional coq-record-update_0.3.4-4build6.debian.tar.xz
 9f93b0ea38221b53bd276df707a9f1b3 7887 ocaml optional coq-record-update_0.3.4-4build6_source.buildinfo