• coq-record-update_0.3.2-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jun 12 23:20:01 2023
    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)