1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-hierarchy-builder_1.2.1-10_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jun 2 07:50:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 02 Jun 2022 07:02:15 +0200
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-10
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hierarchy-builder (1.2.1-10) unstable; urgency=medium
    .
    * Bump standards-version to 4.6.1.
    Checksums-Sha1:
    98f31f280bf4ed8b9dcda48580ff9b5db7944655 2225 coq-hierarchy-builder_1.2.1-10.dsc
    2e19c02a5c4513f2a3f50cf42a12f4c4f2175453 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
    973540f9537eb2e643b45fd71682d121afa9ea51 7373 coq-hierarchy-builder_1.2.1-10_source.buildinfo
    Checksums-Sha256:
    76ebe073834cbad5b3f731653aab624013ac099861007c0999574bebcf465829 2225 coq-hierarchy-builder_1.2.1-10.dsc
    4e5eb281d27be2cec0823ae1a3eebf1e952ed1e0f19ea04b018c86feea81750c 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
    d85e9d97c2f7abdd7147ba4cf42645842968d3d6d0cd661b23c8f33f50a2e6cf 7373 coq-hierarchy-builder_1.2.1-10_source.buildinfo
    Files:
    337749ff443b9025623c3caa0e17eb49 2225 ocaml optional coq-hierarchy-builder_1.2.1-10.dsc
    b39c853d97b3e9d071ef0a541b469aaa 3772 ocaml optional coq-hierarchy-builder_1.2.1-10.debian.tar.xz
    f23f828f1277929a93484a0ea28d1f72 7373 ocaml optional coq-hierarchy-builder_1.2.1-10_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYRLgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRn+UQAJNK+4DCAIoyMLGHpZ0CGK7znUrQgOtm AUO5SF+7Zqzxgp0bfw16C2BgxDsPmXmZb7kqxLoGlW7OoFiEmU5H88sEFbx43HQq N6cUUsnTG43TNNuOMQkS6Sbz1AGA1MtfUQVHoOBgVzAdEV83iCQHuers8NFQ8zF1 DuI+2LxOOaXSp+oyTq7Q1Z1eoswnrJFvzCDx0tFwJ83hcMnLXWqJaDLyDGfODtB9 xxyKq4t/U6oXTkmMFsJmyDhB34oFTRoUzHKXy5I1vsW8k7Vt1V4ovkIV+Zo5ag1E +JoQPXc2cfpHRE2vz1275+B9iOWqRyYUk6/xgJu5g2ukAPawpFph/uQHSNLvyqnX ZwL2ufueLTS+xUisVh9qfDYLszq6b140jLuRA/8m3bjXwnZH5uhlG9HiuN5qQ4UD 3DYB6fIIpvkVVpbIIvg+jkGbF4OTSJ0a0gruMYqA6AT8Yhj/Tf9VVx6Xju3C4Vlj V8R25mNBd0hdbPP1Ce8beMvgk/1PZs+RthR+E5xHADzuFeR8JkZosg+gGbEUbH2M 1kUy1u5z5dKEOo0TKImULLPdoFmATnfMQ5bZ4fh1WcKEz4ddYNxGKoM7Q58g+W3f GkpO5FMSiJMZ9sWdwBPOQc6r6awt4o26iQBFS3Q/1hbVPgPEyMUlCIRnyFEgi7BQ
    O+SyY8+0OAvX
    =b3rl
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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