Format: 1.8 Date: Sat, 25 Apr 2026 08:46:03 +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: f8bea940ecad7df618eff5a2bdcc97376fad6a3a 1268 coq-record-update_0.3.4-4+ocaml1.dsc d32b7dd1566280e9eaa32dbf9ac0ceaf07143565 13646 coq-record-update_0.3.4.orig.tar.gz 384900ad9fe09e6b1dd1a8a344e77b40e7a46fa4 2240 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 222c7934334d5b9e9afd4de84e909c5554bc3109 6250 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo 877b6c9c32bce40c334139d514d7958a551559cf 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Checksums-Sha256: 975931045fb69b72d395aefcc6bf37b0ce742bee79615020b43e8d1c8c62574f 1268 coq-record-update_0.3.4-4+ocaml1.dsc 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9 13646 coq-record-update_0.3.4.orig.tar.gz 0dae5fb206c6d7356a7712007519be5a4cd5bbe71720a5c997ad1e95bd7d759f 2240 coq-record-update_0.3.4-4+ocaml1.debian.tar.xz b93d7ff9a9c41db8f04a61f5dd5c5843b2fab91ed94f73aac607c5c3fe2194c3 6250 coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo ef13b5f2ddfad89527d1b289f443b74d92d4614bb4aa66383e96206e98d5694a 14368 libcoq-record-update_0.3.4-4+ocaml1_amd64.deb Files: 5eafdfb1d47b06920317f55767f47692 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 1fcb0e55edced178848ab44d76fe5c00 2240 ocaml optional coq-record-update_0.3.4-4+ocaml1.debian.tar.xz 482348a51074a7d7e66f160753988003 6250 ocaml optional coq-record-update_0.3.4-4+ocaml1_amd64.buildinfo a42960f12788c6845fddcd37141b91e5 14368 ocaml optional libcoq-record-update_0.3.4-4+ocaml1_amd64.deb