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

  • coq-hammer_1.3.2+8.15-1_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Fri, 15 Jul 2022 16:31:51 +0200
    Source: coq-hammer
    Binary: libcoq-hammer libcoq-hammer-dbgsym libcoq-hammer-tactics libcoq-hammer-tactics-dbgsym
    Architecture: source amd64
    Version: 1.3.2+8.15-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-hammer - automated reasoning tool for Coq (plugin)
    libcoq-hammer-tactics - automated reasoning tool for Coq (tactics)
    Closes: 1014973
    Changes:
    coq-hammer (1.3.2+8.15-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014973)
    Checksums-Sha1:
    f4978a3ea27ecb56dad6a820295ea57319f634e3 2171 coq-hammer_1.3.2+8.15-1.dsc
    e257d15b271dbc8799638209dbadbaaa5f990184 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
    75690f1008a41c9736bcd151a9601257e3cc225d 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
    ec1df1463868f75b62f63a75750854197ac46210 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
    edffa31e8a5f68907a394597040f51bf0ff875dc 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
    4335b4a92c8ce5752fae87b6559c10558dbcaa63 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
    c440f23913bd55f4c86919f0e05f4b48897823b7 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
    eaaee5ea9be50993ab26b6029897c96ff599acf3 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
    Checksums-Sha256:
    16e4d9af54d0a43a06c27c3a699fd8cee25242ddb716ce9f6ca087cfa36b42c1 2171 coq-hammer_1.3.2+8.15-1.dsc
    d334417f5934fc222578382977e66f7eccb7f2e6b8d9f6570d5afe1a878ca70f 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
    d3d6b1455bf4013a8770a494dcc5cc48248976b84a47553cfa56c534a9d4580e 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
    9ae6312c08a30e84a26ddac481941d398e5d6956185378c97634959243693378 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
    40b27450933b99625cacdde3929d56abb46d12cfd84ce741dc96b541c9112cd1 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
    46497011059cf58421b007c18debdcb56ea0e96f22c33be092aaf12738f99cc9 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
    1fffadf6922761fb2f6ca1329c26c0ba89691028de6c3880e394e347b7cd6a28 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
    95dd6be4ef202febd20b9a1697f1f81edb4e761a02a86a6a26b3d784bfc5f119 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
    Files:
    ea22c2385c410861b365356e1c8cff7a 2171 ocaml optional coq-hammer_1.3.2+8.15-1.dsc
    7e7b0401a864c1d04ac345fd63373926 148626 ocaml optional coq-hammer_1.3.2+8.15.orig.tar.gz
    fb8c0817757c727b895adb999ec43029 2232 ocaml optional coq-hammer_1.3.2+8.15-1.debian.tar.xz
    3d7a28826a5d8290b558b7e23b168d88 8116 ocaml optional coq-hammer_1.3.2+8.15-1_amd64.buildinfo
    6acec5a9c976f3f0ef61bde6037fec00 26424 debug optional libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
    33ba766964e399b05161fdaa2d96b139 17112 debug optional libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
    93f41f6db71fde78f76c2d7b4b1c8ebd 313832 ocaml optional libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
    265d8c2764349ec3dcc89273e5f3402a 209080 ocaml optional libcoq-hammer_1.3.2+8.15-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRe5cSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRpmwP/2mZ6DPE/tPChMhD/ze0FEBRQnxtfJeI LcFxv+4lM24eGHPY/JJSujComt1ICOzaUePSP+PLSBYbsS3m7nJb67JcE10KBB6r YNrqiBorVEWFG10ZzUAPoSoaTyBLwUbh8MZ2/VRQWuYLZ+/C69dUFqzcXSN2OTBy U79zNSwq6QDyryWjADUfsGLaug97edT+MdcxP6ZnsI+Yd2m/yFJRDc/xn93DUcnh zbgiNCY3078wWZeYWqQBd+hFv3m870CTUx948oCLoQVP0lLRjGloz5bMTqtweqwO c46yiFh3DHhTEJesjZD6O0ogY6+shgC+n6UCoPlZQza+0BMwA3a8A6wWKgxMYFDW SnwirJMDcET4LI7i+7hrfc2JKlib0Pjgf/BaIAWFdEPUDzR4WVXKVL/+Hmi1DbjF /iWmGmUBqXpRO+fhlUT9ub/QUH0vQr/wSuC9QypTli2Ksscl9Ua4w/zSU4tWYIHo HD66/yh1rr2LFEWad3wokEp0rs8hSrECN0LFyKfVnqSn4Np14EzlTxrTt4ir0Rn5 O/sKewPG8IDFtexLer/PtmxEBKNmmvnSwNk2SCmwchZ/m/qmICO5MlJzSiNBesvg 1mkbgpvYzsPHGmDgm9cfUNWY4g/lXF+w2dtKDeBpF8C3HH+63eBp9sQpGwUZD1mS
    Al0LpWuVXcia
    =O0NX
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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