Accepted coq-record-update 0.3.7-3 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:26:30 +0200
Source: coq-record-update
Binary: libcoq-record-update
Architecture: source amd64
Version: 0.3.7-3
Distribution: unstable
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.7-3) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 168cd930aa4d1fab4e5ace0f35d9043cafcd7f41 2167 coq-record-update_0.3.7-3.dsc
 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz
 88663c37f5759b4bdf7b07b8e9a5e9eb67238ebc 2324 coq-record-update_0.3.7-3.debian.tar.xz
 29019e1c04e982157b8cde6cc33af8707063ad4f 6966 coq-record-update_0.3.7-3_amd64.buildinfo
 2df79597b66dc1367d8995a988a93e02fd297865 19176 libcoq-record-update_0.3.7-3_amd64.deb
Checksums-Sha256:
 56f8491ed4da986af87706a45127188fd4e67e40cf9b6efcdabff15d4cc59e43 2167 coq-record-update_0.3.7-3.dsc
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 a3d4eeefc17cc034008c1c754049e9c4156f73b324203eb46f660e70473f649c 2324 coq-record-update_0.3.7-3.debian.tar.xz
 e2aaf61b6fddf3fb2eef39faafda9c8339d415420b77f1c38400ea03d3f3d198 6966 coq-record-update_0.3.7-3_amd64.buildinfo
 11c833b4d035fe07d18109a046feac8d52c265ce0259a1fb8edb7f22aa88afba 19176 libcoq-record-update_0.3.7-3_amd64.deb
Files:
 aaae1544fd8533ab202727839b3fdbf0 2167 ocaml optional coq-record-update_0.3.7-3.dsc
 594a9e1d26daa184364549c4d1e76553 18882 ocaml optional coq-record-update_0.3.7.orig.tar.gz
 3b98c101d5d663902d44689b08adc266 2324 ocaml optional coq-record-update_0.3.7-3.debian.tar.xz
 2a115dbb0be25be947db3acff0cea98a 6966 ocaml optional coq-record-update_0.3.7-3_amd64.buildinfo
 5271acca13795890023a9605d4ed09a2 19176 ocaml optional libcoq-record-update_0.3.7-3_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodsAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfLWD/wLMOR+LLCjn4r6MwzQXIPb
gQZKaCKTfNnfJOEqHOfkv2C0w6XoQHRQN5FXV1QRG6vAzl6dz0pCgymd382qJ4i+
COTpKhBXUMvosH3xUU7H49HfRSEec0GH9WkuBGossHUucckPI8oV5UDlRuAijUae
eJ/CqhUFfUFe1OPtbBsic/sg4SKjNr1ZYks8YmDPNVWaZDFqbk7/yUdMnu99AaAi
XGsiiZCZyYxzv55VRTIvrA8kSNML/tRbygEK/ySaHeSWNPR8v28EjuFf9PYMmMOW
9tCj+ftsFXJQTFrCtqzXfOLVFGILykCSy/O8nvgCQwUWzfCKZ4H4NClvbbkKjTdb
O1/8s76khmBIwa3QX8PoK7bXxLdSo3qgQTPcox5YYTxEjEpVvaU+6aafT5ULFGLx
119NED7uoUw5wLtF+Q9A5skjmhsEu7jLRPguRkxlUz1rKdqFajZE8RT/O6f3AAnN
jskzE0UWdfZT4mEaaCpVdgN6EAuw2VsTkk3V6jpdV3r76Wqku9e8dxyUJR9VVgiI
xnNI7ZcWTHTqMWkPcmONK1YKGZvcGNW8wyEEbIdieJ99Ydc2SD9N0+J+XS8tsxbs
pBa5WyRA1BM299e0h/Kyl8/osj/q3cdV/KRlBacnMfvRJigm9LN6nYqQB4a3fpQh
Pd0kOBn6y06L1TGH1Kb0LQ==
=LSwN
-----END PGP SIGNATURE-----