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

  • coq-simple-io_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 08:45:34 +0200
    Source: coq-simple-io
    Binary: libcoq-simple-io libcoq-simple-io-dbgsym
    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-simple-io - Coq plugin for purely functional IO
    Closes: 1014572
    Changes:
    coq-simple-io (1.7.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014572)
    Checksums-Sha1:
    85ebe4564fb6302e58162ab4aab6f8603c33d011 2146 coq-simple-io_1.7.0-1.dsc
    6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
    d644ee5175b8f56650e6016a0d6e887066a286b0 1872 coq-simple-io_1.7.0-1.debian.tar.xz
    9238ec832f525e6bc6b56ce1be46397759a85f18 7512 coq-simple-io_1.7.0-1_amd64.buildinfo
    041be5758c8be53b94fd0d76457b9f84f9b34c2d 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
    9cc944142619190c30a20d02059656dcef3ade08 79472 libcoq-simple-io_1.7.0-1_amd64.deb
    Checksums-Sha256:
    96bf9e6bd9905e9b74db057c26acaa7776d5cc27cb9a15e5348d89a646931af4 2146 coq-simple-io_1.7.0-1.dsc
    2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
    24a26afdc3b342d487c18fdb235fdbbd6324f8fc19ec5ecfd290cf32a10f2444 1872 coq-simple-io_1.7.0-1.debian.tar.xz
    97c09c74cd1a69dfbced3e37f208a66ddf91a584d5a40ce982eb79080f1d596b 7512 coq-simple-io_1.7.0-1_amd64.buildinfo
    480691ecaf4fde0dae7677a05d0409a94bc7935d6d267bc80227b015943e05b3 4096 libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
    1102824c222f339db18856a06d0903cd5af04f1345415544ded89918ee66bc3f 79472 libcoq-simple-io_1.7.0-1_amd64.deb
    Files:
    144ae73122a54386b84eefebce7a2638 2146 ocaml optional coq-simple-io_1.7.0-1.dsc
    ebf304b8be97070fde8e2383eba96984 26183 ocaml optional coq-simple-io_1.7.0.orig.tar.gz
    4a357597a02f5c95b0cd60ad534472ee 1872 ocaml optional coq-simple-io_1.7.0-1.debian.tar.xz
    4b19ce35869df7179b152d5c557ab9a4 7512 ocaml optional coq-simple-io_1.7.0-1_amd64.buildinfo
    6d0bc8bda566f3fcb6251ff4baa5a423 4096 debug optional libcoq-simple-io-dbgsym_1.7.0-1_amd64.deb
    c7cc8cce174761dc657cef38eabe752c 79472 ocaml optional libcoq-simple-io_1.7.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH0q8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6NoQAJzJ2x0Y9aXOvNPRMYkrzDT6zKmeWSDC +3zt0ZOYe7tltfwLOSnH59eITtkSDIICUns82CeTzx4DEtocwfrczd66eoyO1OY/ bvp7epR7wm5ghTw13ZXIQKJCdX9bKuTMZRX/7kmEs8LzJvF8Zvy7GKhJl1NqzXwC hdOvnXKdTVCEv1ZWMB4N1/3aTUJdlhmrs+WzKuIcFjG2K4Ln6PG6a9ky1/oME3Uh XfR550y4+6Zpz6HG8nSS7uhnFBDDNPdSKHsP5NQjKYOLlRXZ+Wxw31pez8GDnGJf S16F4Wn79T8zwA9sXxpGbJxvDOGXRQ+F6Q7/OmPPqd69b257Ryv2WkvIu5GMXjA2 iX8ilFw0pQEQl7ET0vUpvlLiSkTxX9glZMVO60HjEPgQNgQOGI5EDvTIUHjyudQv Zuf+HSE5AGdrPJT+VkRP9FZQs5VzG0s9qHI6J4oCpslxQ+sRs4FLBSWGHFZl8694 pleKcFg6s/dUDyKjUaRA2bKclGdUxhZ6lA2+N4Lh0NvAeG1WKGXJCR7zRX0HGbpi LE0A4/WLK6MLZbYJ3fsCbxUencvPDtkNKTwmPd7uCWZHNPASjl7lm0mCnfbhoYVg liyTCEIoh1INgFVRcXLeKFB3oHpn/hcgZf5bo02m6zgY8wLebn4xECDBBaS5cLix
    EUk4TwpLM+GO
    =9uUW
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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