-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:22:10 +0100 Source: coq-record-update Binary: libcoq-record-update Architecture: source amd64 Version: 0.3.6-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-record-update - automatic record fields updaters for Coq Changes: coq-record-update (0.3.6-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: 0ba192ba925ee9179edb4c2a3891c81d9e9cf77c 2160 coq-record-update_0.3.6-1.dsc 612f71a3e75c6bfaf0c8d7ca10bd00979bab14ae 18888 coq-record-update_0.3.6.orig.tar.gz 2c78d3db94f4e0f5de6af801db573f8702eb0969 2264 coq-record-update_0.3.6-1.debian.tar.xz 92084545404a4f5bb0bf91c0fc586394556bc602 6858 coq-record-update_0.3.6-1_amd64.buildinfo b3fb236edffa878386aa68247e2f72e3f05bbec6 19052 libcoq-record-update_0.3.6-1_amd64.deb Checksums-Sha256: 2a75eed165a4090be2d2e4ac9a8934f6369ac0d7bee2f38cbff885b44b14cc8e 2160 coq-record-update_0.3.6-1.dsc 1273cf5b9c6795dbc168d8f853bbfd01ba09df07d3a19297601e09b4c247c46d 18888 coq-record-update_0.3.6.orig.tar.gz 5a2e115362b1d8708d3e640a8ec34ea96e646f671fad6db5a6bbb555ca939452 2264 coq-record-update_0.3.6-1.debian.tar.xz 904572c7312a258ed70e32b012c95648e48768f38dfaeb04a0376879fc11bf8b 6858 coq-record-update_0.3.6-1_amd64.buildinfo 94692fb686e89482197ae38dd3d52862c56929d195614ffff81def8a761e53cc 19052 libcoq-record-update_0.3.6-1_amd64.deb Files: 5fdacfafced4760ef2af9745f84e3d20 2160 ocaml optional coq-record-update_0.3.6-1.dsc b09c7b7cd05cdba07958bfbc452fd961 18888 ocaml optional coq-record-update_0.3.6.orig.tar.gz e5c2908e371628e7d716e0ee98151b8d 2264 ocaml optional coq-record-update_0.3.6-1.debian.tar.xz e13721d14dbb419b9bd5dd2b0be1d463 6858 ocaml optional coq-record-update_0.3.6-1_amd64.buildinfo fda1a61a5efb5027b503e812702da200 19052 ocaml optional libcoq-record-update_0.3.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBzysZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZkLD/4+lzqhCHH/mJwlGaGA/G5U htwtV2LrFsX+hem1SCvyBS6JvRat2FChbQrLLxj16HgMeCBgiVWZdIVcGWzY4hDb VmIOY10rdV+ta3yxSIcse3fXuUNs5H08zN2AYdmMoyMuX0t1YIogTKJjfKTMG+zX YQlTrc4onN7uxHCziGN1deDRXQP4jsrmos9qDA1fBmVKFesOCg7F9patwRr5Nzk+ zEd8MX8KDjlN/v44RzeTJEuIBR2eZu3kg5gozgSWxFYX2lJa43YojJPCB10JxFke CVvVT+oPj/tejdtxhWONmzWd9LaZro0FtXnETsSImntuDEUmlewWM/J/Ay8wGM1y BxH8VGl31t5iU+v8C/H5d2j60w+7H0y8rVtDXOpwCosmgFzqoGfHhrzVbNOWIUbv y85XM+d2uoKFFzABNJsrYIOG3YxL0fnwjivMy4BcWfxZ/GRqT2dZDicYuH89GvUX GJhHOa/kcM8Ck2A0lmu07th7s0lihXkcp3cIvoc0zvKfLnFd2QVaRERY5BmFWBqx JFiI0+lcTuLkZkeE64xuN9cHLXK50O+aDVejYdX/V7QRvuvMZzaFGj5eYt/typn7 V6MicTJcyhLt+d0GH3B/z0uBiOXYCu0RihydemG9l9hHjnOVaBGBuH5WeQQXgK66 hz+36zahKtKebgtMCqiuTQ== =LIFQ -----END PGP SIGNATURE-----
