Format: 1.8 Date: Fri, 06 Nov 2026 23:40:40 +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: e867ac9b1a81b290314dd2ad2d10d2b106876fb2 1275 coq-record-update_0.3.7-3+ocaml1.dsc 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz 6eea3c69c2572aa36d8b9fab159209bcc3c20c34 2396 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 6e6359b28ebdb915f29ab1c747183bf65617dc6b 6315 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 2bbab780d7f06f373b08b4e4a2f7a3a886178b01 19256 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Checksums-Sha256: 24a0ea31aacce5369591415091bf881c75a2c6e3148447c17b30a7f514347ab0 1275 coq-record-update_0.3.7-3+ocaml1.dsc 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz ca545dc9dc93cd410b76fadb7950f61b069bffc74120a71f3e24772c4173a96d 2396 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 7128186900c4b770a6aeb03fea4fc4d79d6cf25c6af4a4bf020f57734c8cbe94 6315 coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 47e3fe1bfbfca8ac82cb49ced84c2960c371db402b3f9c5c7076186d61fb41b0 19256 libcoq-record-update_0.3.7-3+ocaml1_amd64.deb Files: 4bfae65538fe8fc610783de40c5912f8 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 8758b931a919fddfb9ec6f9a8a0a7455 2396 ocaml optional coq-record-update_0.3.7-3+ocaml1.debian.tar.xz 7d0193076e9f8e52c07c327bec8acf57 6315 ocaml optional coq-record-update_0.3.7-3+ocaml1_amd64.buildinfo 3bc9aec704b1489cf67429e8c8546927 19256 ocaml optional libcoq-record-update_0.3.7-3+ocaml1_amd64.deb