• coq-iris_3.6.0-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jul 18 17:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 14 Jul 2022 18:05:39 +0200
    Source: coq-iris
    Binary: libcoq-iris
    Architecture: source amd64
    Version: 3.6.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-iris - high-order concurrent separation logic framework for Coq
    Closes: 1014921
    Changes:
    coq-iris (3.6.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014921)
    Checksums-Sha1:
    3ba87b3ef041f3e85b1911ed2db419ccd7c381d9 2147 coq-iris_3.6.0-1.dsc
    3c1db57e7332c5695a5e21487433ca9eeaa5d1bf 665224 coq-iris_3.6.0.orig.tar.gz
    d894cdb778956893922ff5d3919987822a85b867 11856 coq-iris_3.6.0-1.debian.tar.xz
    c453042192e9d3fd84711e8df5dec5e76d72cbcf 13749 coq-iris_3.6.0-1_amd64.buildinfo
    c3b722fc258b4cbc9e93ec27991b6487c43a68a8 11173452 libcoq-iris_3.6.0-1_amd64.deb
    Checksums-Sha256:
    eeab6639d13ba61fd39b0dc016cac1e185db316214ec754c228fe411fc45d1b9 2147 coq-iris_3.6.0-1.dsc
    29f43a378f4e4c9a19e1fa0013c9e9f2ad026999c8ba625fb085b0266828a64c 665224 coq-iris_3.6.0.orig.tar.gz
    f5426af42e7a128a7031b8b8b11c900371bed6a766b6c80957e5cfe3e5400d6e 11856 coq-iris_3.6.0-1.debian.tar.xz
    34f2fd4cfe4a195a9362c1fa55fe36b49acddb7d2827a72607a1e1c949aa3ca0 13749 coq-iris_3.6.0-1_amd64.buildinfo
    f56f7da0fbf5cf96f3d6a4f59a5d5120d12df33e80163e184c6a776acbac4a98 11173452 libcoq-iris_3.6.0-1_amd64.deb
    Files:
    f7d17b4a66161c949e74b765e506b7fa 2147 ocaml optional coq-iris_3.6.0-1.dsc
    4ce793ee59065df58cef5f6deabc709a 665224 ocaml optional coq-iris_3.6.0.orig.tar.gz
    eaf44109739149a07f209f1f51c83a77 11856 ocaml optional coq-iris_3.6.0-1.debian.tar.xz
    b94ba93363e093bcc72eb941ac4a6e73 13749 ocaml optional coq-iris_3.6.0-1_amd64.buildinfo
    dd0ab7201f5d5209c3382145f00ec2a8 11173452 ocaml optional libcoq-iris_3.6.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQSSQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNnoQAIRJokt0QdYozu6JQoufwGJMFtQ+H6Ba rn0qd9QLUEBgUJuaeboIA3jCw68Urh5wrw+xmRi8E6mV3kOdLJCiy5D8XLYvemhO HybusF3bWFBRBFFXnvFrwyejkBr062yj44l6lqgmcdUeaMUoCwDTre/5452gJM/F 9jd5gzeJRmrRbD0y37oAPhQXc17WvJ11Tb7BZX3U7IrZChYKLAOoBaBDOaaNRcGM VOLfuiXcDhhDmI1zHTHnCJKMlJK4cpyQfDG7oB6RYTnUanJBaeRUKa0ryF5Z5d3f U9WRyYFvAiTZRzDoc875emaIyZE/RGD9xIkd/OKSnmKeyWXCqJvOiGNZCkiyy4uB W90um2rZ8EMVvn7FvereJ/pGdzlo7eHIlea6T4KVsiQyRSXE4AckhZjEkZTLHlQ8 NNAiXv936+BtpVJjrYzdgVAmFrrRXCGBu2T2FwH6bpgV5ajr4eoF1sDICBJuwQG8 NmNa0pdqZLku0eogrl+UnhxDN+GxklAgQ+dibJmsELjFx/mGm3p8gReiHKfANw6h t7Hxx2+lsgzdzXMu2QludvQT0SQfz2gQVugEp5aD03tyKSqgpNynA/kWjWrGM7fg LWgmkyxl+Ky5ayGv2E9wk5M4Dp7bG5Pub8QwRLWT1NcvoAFseiCTL2xZXzXNpPSu
    M+xe0x8vVpzd
    =SZlv
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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