Format: 1.8 Date: Thu, 02 Jul 2026 15:12:24 +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.5.0 Checksums-Sha1: 4ffb028bf464ce7086ea1899cfd6a03eb478603d 1268 coq-record-update_0.3.4-4+ocaml1.dsc d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz e39f95ba2baf49fd719391e5b4aa1b86f270a41e 2240 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 693821f6ce57e2d066188062a2075f8715509eb7 6326 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo 9fd2898a1c578b4592519fe14480517b49e4b2d1 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Checksums-Sha256: 58478218e1707c63bdd99ebf7eae72763334507ad11a45c1bb177428335168ac 1268 coq-record-update_0.3.4-4+ocaml1.dsc 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz e3554b6464b4bd389a7dfd09d8e71d24dcb3679f29549c11194709af2fc18cdc 2240 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 368ef6d0477f23dd0318b69acf6fa74b2b982712585d19a0872b0739cdf449e6 6326 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo da6b440fe78dce61d3af0d5cf01cd79eedc34989cc4996064f68605512ef034a 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Files: 26c0a32c9f60cf1a39ff5a37b869b94d 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 4b60b62c5b78ca4c867ffddba51c7581 2240 ocaml optional coq-record-update_0.3.4-4+ocaml1.debian.tar.xz ca011937c8105c64b6da14013765e0f0 6326 ocaml optional coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo 8831cfb888c665ef20ab6470a3bdbb45 14368 ocaml optional libcoq-record-update_0.3.4-4+ocaml1_amd64.deb