Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)