Accepted coq-record-update 0.3.2-1 (source) into unstable

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

Format: 1.8
Date: Mon, 12 Jun 2023 19:32:50 +0200
Source: coq-record-update
Architecture: source
Version: 0.3.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-record-update (0.3.2-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 b0e249c0f1c31d679a8fd2ac0e0d1a79b43930b7 2148 coq-record-update_0.3.2-1.dsc
 ed19c3c0bd235084af68d612fbe57c4eb05137a9 13624 coq-record-update_0.3.2.orig.tar.gz
 d4e4151038018742b038c929349fac30fedf6a44 1920 coq-record-update_0.3.2-1.debian.tar.xz
 23e5174669227ca7870fa598c04e6ff8cd0297c3 7363 coq-record-update_0.3.2-1_source.buildinfo
Checksums-Sha256:
 de3d220a90b2ed665b169c61096130bfe82d01dc325d8c253bbd9a83550afac8 2148 coq-record-update_0.3.2-1.dsc
 896b3d82ac18cbcf1078985cb9f17cbcfa453d3659949e486cb0f8bdead9016e 13624 coq-record-update_0.3.2.orig.tar.gz
 fd713c3e331e31dc856740e0947fe273d1872a89f761a78ab21cd2331ee2fe11 1920 coq-record-update_0.3.2-1.debian.tar.xz
 e7a02c75a3e817a16539f4573958c949e74f60f7a423e3e11e304297abc4863d 7363 coq-record-update_0.3.2-1_source.buildinfo
Files:
 552d49a15a57844ffbe75aaa11195fcf 2148 ocaml optional coq-record-update_0.3.2-1.dsc
 a0975afa703fbe7d16c65d0149780269 13624 ocaml optional coq-record-update_0.3.2.orig.tar.gz
 b0d0140d92c5f45371411bbb3fefbca3 1920 ocaml optional coq-record-update_0.3.2-1.debian.tar.xz
 35ac5f9943544733e5204e4a924e5cc4 7363 ocaml optional coq-record-update_0.3.2-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVsoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR75kQAJygyiYRRyHDYsOuHGRPezc+6VoDlMTZ
YdYXi/7nYbdvOgKrlFP1gDIFZsnp35jemvcRE5kHiyM3cTqD5shR2frdLNTJ5e04
GCMK3OAXjq2p66LTADeMGYewQuixf6axhx0PfD7I+SJ/fkPVrZ1gzs3IaGBt96pO
MiHjUiOcz8Bg+KIR6dR5YjVNO2ltZSvJwKgP+unIG7orSn0+GU+snqLIScFoM1FN
lbdfHXy3EbeECsKzrlj2b7CZRWsdWzSTTDcCkxhSTsEkqlgUOwU1u0CfA8LNBf6t
Q2HselKJgxDPr39tWDqsZ6L/n7SgIgjvl21YwOh4XJrC2kBHqw9OsmaVkbgLgCO7
XmzJVRzm8BniqneimssB0uNikCtvvtdNsVPRbxVI1LixOg+KkMyJWPnqCjacmq/p
izFT6VRwfcKbqzJBbVPAFwuDj/c5dDMwczT+KIp97lolU69S4H1GxS3hRPbvxHF8
pNuZWk+i6bnxfZhgVW7nAzQhtlikEBU/qDr00JvCHQYz17TwyX6lKY7B91vfJY2c
NNeM3AGq3Tsdd17KVSSPRnKGXgMajuWHz7ynrT6glo/TkJ0u3mbEftUdwRJWtXOI
IHJhGW8Ihp0x0LhXDg0umJHCQI8RM87JH1vID7TCnfJhTUegxr5C1pG2+4laBb16
0aQE8VMLelyF
=xwcK
-----END PGP SIGNATURE-----