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

  • coq-extructures_0.3.1-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: Sat, 16 Jul 2022 14:29:31 +0200
    Source: coq-extructures
    Binary: libcoq-extructures
    Architecture: source amd64
    Version: 0.3.1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-extructures - data structures with extensional reasoning for Coq Closes: 1015021
    Changes:
    coq-extructures (0.3.1-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1015021)
    Checksums-Sha1:
    5615525a1d0be229382117fcdd25e7033bef6d5d 2161 coq-extructures_0.3.1-1.dsc
    24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
    4d2305b012a12f7233bfe31f1fc3648f51797948 1916 coq-extructures_0.3.1-1.debian.tar.xz
    8655fc11ef9a1018b3bdc5f17f4e187b2f2c75f8 7214 coq-extructures_0.3.1-1_amd64.buildinfo
    aafc5389b93ec6700e52bb6d78bf5698003c6332 587200 libcoq-extructures_0.3.1-1_amd64.deb
    Checksums-Sha256:
    e4593217b9ecc695c22893f8f70794ee12c849491b0956fdfe41325fa68e3aa0 2161 coq-extructures_0.3.1-1.dsc
    5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
    618e3dc2157b66d72b986cb205438bcbfb85841b70b9e8fa35e3fc0cc2e8b01f 1916 coq-extructures_0.3.1-1.debian.tar.xz
    cdcd929d58f041afa03a361d8b9340075807dfc463532bb0ec81a7e850ee275e 7214 coq-extructures_0.3.1-1_amd64.buildinfo
    1812af114c5a8d6624717f539dc6c1e670c26775372d3ad3c1e0953cea4a554e 587200 libcoq-extructures_0.3.1-1_amd64.deb
    Files:
    ca2e2924539b09d4cfda373585aef7d3 2161 ocaml optional coq-extructures_0.3.1-1.dsc
    32bc923a3a383ede669fc9063cffa52d 38296 ocaml optional coq-extructures_0.3.1.orig.tar.gz
    d03d261d0145e2c2e0aed67d4555bd5c 1916 ocaml optional coq-extructures_0.3.1-1.debian.tar.xz
    dc04f3d13bc9016f4653a043fb3f5382 7214 ocaml optional coq-extructures_0.3.1-1_amd64.buildinfo
    10fa6f0e39187face9f5691feeaa7d11 587200 ocaml optional libcoq-extructures_0.3.1-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSsFcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRLPsP/0boVeAbtRY3F77koqMqBbsIIsQYRu4A e9FZL5pWl8hfITjJr2wM5jqxcdd+qwyUkiWNYChNgFRfWYbhpQk3A7cv0pjCa3ve DNxv6FwmCTYnrLKY88FgK8OpUvG402hoywi/b9jJVvqrwwyJtoSMoRJf8Z0ejqNe i+CdR1Lx5xkYptqfcSkt8m+Tr+cSkmtAHqvtP1ufEsBtRD8KXcKxeNYzAKgjkgxT bzTQ67spQySg3ds0zRnnwXnXpl2oGW8QLFGYuqCrDl2TntgfPd2KXiDSAMhbFcTP MWeFKlVfzEo7+J3CZQ9TPAzTHEswv8AQnG+7n7a9eN8r1EOFZcMx0EdXg3jlZYle MB/jBp8/TURP83XJz7OLEVMhtbqGD4GQNYk12eH75LQNUvfaN+7qOmVtN9/6NL2e 7dvAlQYeC1ytsNhAnH0s7DRyzWgWt3RKSo/Ux0fXfdlr5oVhB9PQ6r/L5H2F4Vks rHe/IdX7FxZvSZXYsKn5T2fFY+1t124T8KtgCLSq2E/V1WD1S77EuPqTGP6ndwSx 2AbBb4LGqdFjaP99Niwl/e15sL2vOxnv8hhrYyHQpE3RNbqjHFd4F0UW1I2FfFda yrhZ1keAAFXrQh7s+cOD736klv4h1RgoueuWepQGaDnQaIl1gAnWvPXnj2tVY2Ud
    p/VM2RDtJ1Ym
    =s3/b
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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