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

  • coq-stdpp_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jul 9 01:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 08 Jul 2022 12:04:52 +0200
    Source: coq-stdpp
    Binary: libcoq-stdpp
    Architecture: source amd64
    Version: 1.7.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-stdpp - Extended standard library for Coq
    Closes: 1014585
    Changes:
    coq-stdpp (1.7.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014585)
    Checksums-Sha1:
    2cfed075542fd55cd8b11a2496e5183977f78c21 2036 coq-stdpp_1.7.0-1.dsc
    a87bf282e29be7cb975fdfe7c16bcac2bfa5338e 237656 coq-stdpp_1.7.0.orig.tar.gz
    8507880728ef6cd9199ac72df5bf99201c63d2b5 2228 coq-stdpp_1.7.0-1.debian.tar.xz
    e5b333b78d5370ace25e5aa11e2454327962e5be 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
    6437f33fd7c3589a87cd34c75dcdf45164d9a616 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
    Checksums-Sha256:
    954162c9621baa36e699d478e93e69d84c4bb674244743d2afb94965c1a38f21 2036 coq-stdpp_1.7.0-1.dsc
    ff3b87190b1128c8628ca692e54f3cad6af43323ec6d3facb8507d43e541bb07 237656 coq-stdpp_1.7.0.orig.tar.gz
    38f9f6aabb1870b72f104fd69f39ad5cf7f6930b6c16911205c693ec610003ae 2228 coq-stdpp_1.7.0-1.debian.tar.xz
    00c91cca0544f89579763725f1f77ae901033f947a2e2ec636bead3811300089 7098 coq-stdpp_1.7.0-1_amd64.buildinfo
    9ebd2ce4e52812f9c2e4988bf5a44f02c51713d89cad8fa2ada2def19e5dbbf4 3789012 libcoq-stdpp_1.7.0-1_amd64.deb
    Files:
    54f0a1c313f240fb60dad38453614e14 2036 ocaml optional coq-stdpp_1.7.0-1.dsc
    06f68719797be09a97e5cb709fafc076 237656 ocaml optional coq-stdpp_1.7.0.orig.tar.gz
    8e8e2643fa938d7b03955a62d53f4dab 2228 ocaml optional coq-stdpp_1.7.0-1.debian.tar.xz
    573eb399b0e7fb3be49e76aed13ba5c0 7098 ocaml optional coq-stdpp_1.7.0-1_amd64.buildinfo
    e78e198a3dd7eda076ba5a2cacdb44a6 3789012 ocaml optional libcoq-stdpp_1.7.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLIBF8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVtUP+wb7XmVUSJZjmuDv2MU5yYuaJXKCjb+Z qR3pVtGBgfBdmD/tbPRJoqn6LLi37i5SC5FQc09FNfHl9CljG0NfyroxVwMGg67s d/ox3H1hUPH3jGSLvLS2gvK7JkF2R8bJXeQljzHKqGccriDgkuqg2pFEQdOjPXlL XnYHkJEZjrqHJe4Y5aOVLkjRYszgd9rcp/VHBIvRtl+Naos9/57YVjzVWTZlm+ye tDlTsNaut5Vn9nsgDJd/8AWxK8oXgFW5zrb54bZT/yYh+UpPCzbJSZJTQQx3SXHF e7qNaw08tJq7btw8XicPMcq5jJiJfGIbE4FoAPjb75upNq/VJiMoWW+FFqvP3lf1 A6POFS/Qu5KtPFU+wlleuyQ/HoHfTi265z7zaiLmHhcFV2xtBBia6UOIlZ+O7nuP fHo6Q/S5tmHQvht1muaY/jT1DVGoXdPecid8miznYPGrFSeSKTTn2Xr+ynTUYKiZ 2svo9wReqtWGcxTpdGFUT2jikM++Cm377m7GIQMlNphUgVqUeUAuwMJoz4/gvMRP DooAGPlLcjFYun2j5GbRGWOaIhWdSYduetOfLDEA0CY0ksBB+hPVtZGpSaSPG+FL PsNwaTOLnMbR7THwWJ123fqBnQboTEpkszshCZKwFTfEcKgNRypcujgRqFrBamVM
    3T7ScS+KtdlO
    =nqBj
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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