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

[Sebastien Bacher]

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

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:32 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-record-update/0.3.4-4build7
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:32 +0100
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.4-4build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-record-update (0.3.4-4build7) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 f3bfea2922cb6a131e4414291515a652d469f5ce 2147 coq-record-update_0.3.4-4build7.dsc
 71a4ddd20fd83b79b4425cb54c0b453de2bd8364 2448 coq-record-update_0.3.4-4build7.debian.tar.xz
 b5e2c33161a53c3998eb51a51d467ef59314b1c5 8266 coq-record-update_0.3.4-4build7_source.buildinfo
Checksums-Sha256:
 1134e206b728f69dc43232dcb94aff16e19903cc05e3c1f8ad5b152d8698a996 2147 coq-record-update_0.3.4-4build7.dsc
 cbc329143c348d82446aabc9b386649e7d3b322e3b3c44950c96cee65dca3d30 2448 coq-record-update_0.3.4-4build7.debian.tar.xz
 7148dcd4293d8ff9798b7fcdc936b7841251eb8bb87d4d9e0464dfaba0691af5 8266 coq-record-update_0.3.4-4build7_source.buildinfo
Files:
 de30650a3ebcb957ef2a753fc82189e1 2147 ocaml optional coq-record-update_0.3.4-4build7.dsc
 6095a03c84993ddd8d3167e5b01f0ae4 2448 ocaml optional coq-record-update_0.3.4-4build7.debian.tar.xz
 e71f3076aabfd28e689ebe5aa7720024 8266 ocaml optional coq-record-update_0.3.4-4build7_source.buildinfo