Format: 1.8 Date: Wed, 11 Nov 2026 14:34:25 +0100 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.7-3+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.7-3+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.2 Checksums-Sha1: 356257a766d638743d0e30708b594b9bca158bff 1275 coq-record-update_0.3.7-3+ocaml1.dsc 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz 2cc0ec2d66f3caf15aa37ee04bf12f683f055ef2 2392 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz a0000de29d1be195a0b5119d0d095410e733e37c 6318 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 289eb603c0fc1330488a2e9cf20e20efe009edf8 19272 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Checksums-Sha256: ba1d1a6f96b853064154c906a66246dfd734309601a421d0d194ff9a58c3c649 1275 coq-record-update_0.3.7-3+ocaml1.dsc 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz cc66721aea77d7d9f2eeaff77fc4d6880eaf91cb6e769482548d7cb7ea805399 2392 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 333d8415b75860d9cc417926ed0d9e7cb50f64aae5f4b698f3108e74aaffc92b 6318 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 28d8b631f971b9384dfa1fff0ccba9fd52e43379056ff68674c58fad4f059b39 19272 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Files: 36b2a34910438f3923939162758f757a 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 eb90306e2698953b71184d2261f7a8cd 2392 ocaml optional coq-record-update_0.3.7-3+ocaml1.debian.tar.xz d9c912ae9fa12e9b605892d4f2600d46 6318 ocaml optional coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 4523d8970798ff15a891b60fcb65bc65 19272 ocaml optional libcoq-record-update_0.3.7-3+ocaml1_amd64.deb