Format: 1.8
Date: Sat, 25 Apr 2026 04:02:00 +0200
Source: coq-record-update
Binary: libcoq-record-update
Architecture: source amd64
Version: 0.3.4-4+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-record-update - automatic record fields updaters for Coq
Changes:
 coq-record-update (0.3.4-4+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 9ecc4354316447fd6055392fdee8e7dd796ecb00 1268 coq-record-update_0.3.4-4+ocaml1.dsc
 d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz
 6bdaadaf47ef678321a4d2f092ceb6c3abe78a54 2256 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz
 1dd33c3fc31afaa777ef074f1c16dc2c835c3cb6 6311 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo
 f90d48f07c1cf481030e12a4ce530fc1a7249efc 14392 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb
Checksums-Sha256:
 341d645af7d4ea53b4b91aa419f311bded348dbb88267136c5a3ebd42e053cec 1268 coq-record-update_0.3.4-4+ocaml1.dsc
 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz
 f326f4218c61d82a610a9746b7885f55d5df7d233d47b0ded6867d0d4daa0aaa 2256 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz
 b8ddfaee5498949c00286ae7816b5d6f94c0a6da8ec875108348ecbbbf532cdc 6311 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo
 4520af5a506ccf7f80cc48b37741979271c23e99f47bcdc0de07af9ffafd2cc0 14392 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb
Files:
 6e3f0df017c357ecb3d8d0b084e99fa2 1268 ocaml optional coq-record-update_0.3.4-4+ocaml1.dsc
 b291523542767033ee091556447c67d0 13646 ocaml optional coq-record-update_0.3.4.orig.tar.gz
 0101f2e55902a7debb4dba6b18bbfd20 2256 ocaml optional coq-record-update_0.3.4-4+ocaml1.debian.tar.xz
 afcca5c35d578fd03161664f3346be99 6311 ocaml optional coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo
 0fc3d9647e88827c3262b9579821ecd9 14392 ocaml optional libcoq-record-update_0.3.4-4+ocaml1_amd64.deb