• coq-menhirlib_20220210+ds-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Jul 15 21:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 15 Jul 2022 20:58:49 +0200
    Source: coq-menhirlib
    Architecture: source
    Version: 20220210+ds-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-menhirlib (20220210+ds-2) unstable; urgency=medium
    .
    * Re-upload source-only for testing migration.
    Checksums-Sha1:
    2cbdad2e71dedf855d1e95b7d378e08a341b8e53 2125 coq-menhirlib_20220210+ds-2.dsc
    e845bb6928923d5c50b0ed33e2d0a1ed57f87732 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
    26a179147ea635f35777de19e47e2d0182ef9d47 6852 coq-menhirlib_20220210+ds-2_source.buildinfo
    Checksums-Sha256:
    19c8a9ba7580a5943272a75fc734186844e2ab79157e23d73f75138d7552c4a2 2125 coq-menhirlib_20220210+ds-2.dsc
    06bb8d439d7f94e8ab2c88357801792b70cf49cad141cf76af1ad47dd0270f17 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
    1c17189480ed562990b69359d5da072190f4026f01323509a9fb0c3ad4cd3f9f 6852 coq-menhirlib_20220210+ds-2_source.buildinfo
    Files:
    415f17cc4b3a1476ec9a8b32f4756dcc 2125 ocaml optional coq-menhirlib_20220210+ds-2.dsc
    7a4ab4cc9b4facfcbc1ef94ba59a2bd2 1660 ocaml optional coq-menhirlib_20220210+ds-2.debian.tar.xz
    2d98ca5fa55b4911596a39d5c5fe0544 6852 ocaml optional coq-menhirlib_20220210+ds-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRuRcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ2oQAIxwZr0i+0md5dfWlDUFPXArZxK8qaQ+ G2ChXQO1KfdYDRCxLu/pGzePwLACZzwTuOgUyi8nra20ulrBAw6VSk1bmqZE9u9V 5cSt0+buRwW5LpOQFEN4r6UMVqvIj4eMZ6fV1O/5p5RMA3RExZcwagdETHEC4XMM ++DZJ74p8pZXa3QVWYsldVqaDH5D3vYY0+Z47HZSc22GXYAghSVXGnwkK3zm5NFf UagFOJ3MQl23626ahCuoXZAXSLd2faIl5hTP7YjJNPH9zEqmJshkFe644lyNIQ2z GJm+Scg42oGneLw/MZ1vvl0QMWd9GlBVNfLs/ucOJP1Cxb5Eki7SEKfQxJysfyeR 7fAomEIA3IUGgwCbSaGlmoRyE2OxqOMbWP1RtXGZcq3oivdLF8uIn3ktGRT+ejBL fkZdAtjd8gJBTdU8nAPHeXT66tVFbQhqSWAS5ZXGtKxJ76XviRC4hvfTD1jNlCc6 pdzXKzcwEj3OxS/gKEwoX5JMC8ikbqikyYfSTTko5876u+Yf2Oem2Myroajbb9EV FMMovXxHQl9fASjAU085Tnv9BHUxF+O9JqI1VXIDrxGBQT3nAFTsujbfLUrmXSHT RrIHwEjlSPnrpQcXtCckC5GcKjKolmpimGtc2dxaATGPcL1dlGXSks8fbVObkJGj
    vJz/HXMq+IyI
    =Rvzb
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)