Format: 1.8 Date: Tue, 11 Aug 2026 11:26:13 +0200 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.7-3+ocaml1 Distribution: trixie-backports-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-record-update - automatic record fields updaters for Coq Changes: coq-record-update (0.3.7-3+ocaml1) trixie-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: e5b438e411019450c8a3d772608f29dfb3496cbe 1275 coq-record-update_0.3.7-3+ocaml1.dsc 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz 0c06b9e1e66304b65f460f66a2b4a40afefe1928 2400 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 7865c7523aadddf834984a29433b79d686f475b4 6440 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 675744b5053129f49bf6bbf8c7ff03613c1bc55c 19268 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Checksums-Sha256: 3bc3fd1e1af552c1ae825577e9d6d46cd59c42df812cbdbeca9c19c476b24b5e 1275 coq-record-update_0.3.7-3+ocaml1.dsc 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz f9e09d74c611004ed271634690a7ca36b8682ecbcab29c87ba5ec6af0400e3dd 2400 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 3ffd1521a532077b16fe01aecd737bdbdba288483966b830d872216600335152 6440 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo d4d4aca18980045fb9ae49794a93da97cf6eef52c568b4d93434ee5149c141e8 19268 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Files: 6e141040724f305a3f0e7be78710e17e 1275 ocaml optional coq-record-update_0.3.7-3+ocaml1.dsc 594a9e1d26daa184364549c4d1e76553 18882 ocaml optional coq-record-update_0.3.7.orig.tar.gz 4df57150ed687f93d4601b8938afccbf 2400 ocaml optional coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 86b3bbd4e72197de516697a9b32f06e8 6440 ocaml optional coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 36aa039e28e463408221f6e3ca24de6d 19268 ocaml optional libcoq-record-update_0.3.7-3+ocaml1_amd64.deb