-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 16:58:20 +0200 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.7-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-record-update - automatic record fields updaters for Coq Changes: coq-record-update (0.3.7-1) UNRELEASED; urgency=medium . * New upstream release. Checksums-Sha1: 1b456ecfb1cbc51f196a98ffe7c572e460a0c851 2167 coq-record-update_0.3.7-1.dsc 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz 7623577d36f9e6b2dfb4cf19e1962c8066fcbf14 2304 coq-record-update_0.3.7-1.debian.tar.xz 69aca4d6710ddc8405e21955b4e95d55e732e608 7451 coq-record-update_0.3.7-1_amd64.buildinfo 53c75c3d0e0ac88b31566a718bb576a21d9a65ea 19144 libcoq-record-update_0.3.7-1_amd64.deb Checksums-Sha256: e1e3b3b596dd1b61a54a7e3e6e8bcd4b9623d7e4d7818f60abf26bd816c105af 2167 coq-record-update_0.3.7-1.dsc 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz 939688342eeb539044b9623b128d99d208e3006cdaf3a8448942922970cb7551 2304 coq-record-update_0.3.7-1.debian.tar.xz a03de9f415917a679b3bab7713cfdb483eedc80661816fc3d313ef00f7aa863c 7451 coq-record-update_0.3.7-1_amd64.buildinfo b238bb176cdc079b281b788f6ff0dd0db4d32f017566ee25561f58bd4e984b08 19144 libcoq-record-update_0.3.7-1_amd64.deb Files: b6f0e515ddd67c59c911c111507ad545 2167 ocaml optional coq-record-update_0.3.7-1.dsc 594a9e1d26daa184364549c4d1e76553 18882 ocaml optional coq-record-update_0.3.7.orig.tar.gz 9cf68c0837b18b148a2cac276cd37d76 2304 ocaml optional coq-record-update_0.3.7-1.debian.tar.xz 5a6d0050aa58f2dd8f3b77a1abd201f9 7451 ocaml optional coq-record-update_0.3.7-1_amd64.buildinfo 10c2fd894d18444b3e41ece12a3b0a02 19144 ocaml optional libcoq-record-update_0.3.7-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRC6wZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbtOD/0QWRbjHKYTQDmyzllDOa3I Cbzr+qoi5e8kPzcAuD+2FsaLd3yeX//8a0vYaumjcCrjP0FW1k4b4Mc0xuDTZPxB yHuFGapBZbnri48KWJ8qqgAKciUX7/kNpS9LWHE+7FvQosZY1iJRvezewNSw5/k9 paLUNB/VvM/mJ1v28pCpf7Ahr5Zvr0ZZOReDa6Ggsc3mKzbsnuZR5dziEuSpu9UA FsYJHwGWTC4UErxbBj6GKdlUWFZPzoziXjE3hin8byj1m13XVgZEOZuaHt7rWzze dPDndo8Aw3zThLzZNi6firo/O9cq8IVMQ6waoIHRTs22OJFFSVhTo97PI+IJdUa7 XewPxBZwADQs21F3sqOPRBNBpt8F7pCYsXFen/iIKTlptA8cCDJD4LLh97T1Uye3 CidTTXauqYMe81vau7sIBH5yCUO4o5Z+MN6UUoLsOqF8szbXpVaMrXi3y3yZkPL5 cykFEr6RNSEgy/kxODaPXDWsgo3UMZzEYXcDEpN28BeEOtjoDtZiaWWA2xO33Ud8 Rng+EHKsXikbcv1HtcADPwOJDgyER+oiYXFo//WYJ6Z7YN3o/bTJ1eoZiXY4GMod fBptGAuIVA0IeQJd2jt1f1n7G/5N0z/871lVA1fsHYAp3cw0nmLubRcz9bvkGuCV EN2cQMGnywzOsGYt17zMOw== =qZg6 -----END PGP SIGNATURE-----
pgpoSwgaa_DqV.pgp
Description: PGP signature
