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

  • coq-ext-lib_0.11.7-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 14 00:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 13 Aug 2022 23:40:35 +0200
    Source: coq-ext-lib
    Architecture: source
    Version: 0.11.7-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-ext-lib (0.11.7-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    e7b3f215557dc9cd4893816255bd9aec94398921 2084 coq-ext-lib_0.11.7-1.dsc
    bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
    dfefff7db578ab70bb72bf8a69b24496cb11c8dc 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
    2d2bad74e32116616a0e812b610de71e88404810 6954 coq-ext-lib_0.11.7-1_source.buildinfo
    Checksums-Sha256:
    f208503ce8eac129e73fbafb6503623a9cd333e8694c823e0c1ed181e7a62fa5 2084 coq-ext-lib_0.11.7-1.dsc
    5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
    2d089c82ae38b8eeee9ea09800ce19c48cd089990955de76fee7e3e87ec4f691 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
    3edd05eec23af12d7ba7e5671b90b7d3a5d191057998cce7d4412a8793502fb4 6954 coq-ext-lib_0.11.7-1_source.buildinfo
    Files:
    f8be01bb6e4ce89467c78dac2488583e 2084 ocaml optional coq-ext-lib_0.11.7-1.dsc
    a71175b8e2b9c005d4e333a25ace42ba 82956 ocaml optional coq-ext-lib_0.11.7.orig.tar.gz
    2cbf19b5e9a481fd1f74ac53dafeaef7 1988 ocaml optional coq-ext-lib_0.11.7-1.debian.tar.xz
    f178bca7f5dfd1822649ecfa06f60e39 6954 ocaml optional coq-ext-lib_0.11.7-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4GngSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIlQQAJXxtl+zdMaRGxJKJzX0g08OMTXFgA2B C23v924NMF8icYTrvqiJO40sQyrmvySc8NaCW8Tn9LEVjmxm2B3cgAR0ae4IZDl+ 5NN+0QaP68ERaMfgiGpkNOqJT1GanP19YPDAb03aR6pjWEKSCLwibObz1vICzMLA 7HPDsskUdh3+OYlB6LX4nOo4GME09MA+hZRWzWchnZ89JAmNdR0gZHz63+dMQhzr mNLdJEuLosJnagCGa1550vwWzjFbTTkKdEOqP9jvcK5nlXZjvfRq4UG+sbL60HqF xcngFJTdJ4CnfEwr05dUOPvdncAnuTxcgmNAQC0O2ytf2MR4dY1LaKckFSiEfjjY Dn+S8V8clntkKBRcpuYWbMIqsBZisMdQOEn9ilutIKdtdi0caUGGuj65xMT5VlJ0 NYsDTdnL4Q3NKCwGC7koobXpiXhkC3mViR46aq7Wkpm9+UQN0G7DoM7ek2A8y+WN CzbaB3TijDoyEi1Oq8Ku5gIQRzrX5Gm/u+sxXN19rVpevfYsahxi8bH939h7gWex 73IMicD1otwswaQ7sTB2y7rzAegMs/mLH2qtN7LH9S8rFANyBF/YVogU7T8y6oZ/ CydFjITtBsCr6vwVkJO13K1BomxpyLvqzTPd9Yh0VNMO3BFZBve/0s+zHuoI4Qq4
    KoSvJnenyWqt
    =Czrd
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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