Format: 1.8 Date: Fri, 15 May 2026 10:26:05 +0200 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.4-4+ocaml1 Distribution: unstable-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.4-4+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 2f9650ba72a6f86d6424ed18d251be818a536f41 1268 coq-record-update_0.3.4-4+ocaml1.dsc d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz 64bfe08b3869f1166717a8985b222b3dfb699420 2248 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 7351633aa800ca67cca3cea0e2bd8e52f664a344 6251 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo 6ba60dd747925e0484dbf1c27bd1403aad22aa02 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Checksums-Sha256: 5ef03cebe5b4ef3722f0c4e5c56ce9260e195f986d69e5c219768ce292f446f6 1268 coq-record-update_0.3.4-4+ocaml1.dsc 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz fb90af5409675eedf3ad1161d5924721977e4c1e854502cd7505cb54fa8df679 2248 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 2f8d53568a54118737b61b7814993efc805e3a90080ba81832d755e169ad5391 6251 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo 78c27da3d1114c7959d1f09d589ba307a01bc386aaefcf87cbeeca51b81c9828 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Files: 10176527429e4a7b71d2e18fe29b68b9 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 9a3a434da824f002ddf9290fe405ead6 2248 ocaml optional coq-record-update_0.3.4-4+ocaml1.debian.tar.xz dbeb563f7f884a89d2c14fb643dc6455 6251 ocaml optional coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo b43d46ccedde2966a7fee0718330ee79 14368 ocaml optional libcoq-record-update_0.3.4-4+ocaml1_amd64.deb