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

  • coq-unicoq_1.6-8.15-2_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Tue, 19 Jul 2022 09:09:55 +0200
    Source: coq-unicoq
    Binary: libcoq-unicoq libcoq-unicoq-dbgsym
    Architecture: source amd64
    Version: 1.6-8.15-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-unicoq - enhanced unification algorithm for Coq
    Changes:
    coq-unicoq (1.6-8.15-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    Checksums-Sha1:
    86d039e6c34a66c33fcfd9de418b862377616b3b 2079 coq-unicoq_1.6-8.15-2.dsc
    97570081a701204a3b9f169262696e42390a37f6 593602 coq-unicoq_1.6-8.15.orig.tar.gz
    9d4ee7bf51ac649e3e950275635f1070c930b0a9 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz
    5f421b09faf7629b1da720b76b664e7b859bf3b7 7419 coq-unicoq_1.6-8.15-2_amd64.buildinfo
    6b9755fd8adbc7b0fb0e3ce51734c75f0778504c 20480 libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb
    fbd7cf4553da6508b9ecdf85f3405d9744b1d190 77796 libcoq-unicoq_1.6-8.15-2_amd64.deb
    Checksums-Sha256:
    b6a24baa48847d4d63ced4b3fa0261b130f2f89a2c6f701b68edd14591b828d3 2079 coq-unicoq_1.6-8.15-2.dsc
    1eee8a6742b5ccdee23b3630c74a0ad6206745af63f2fac1a7d0d299533edf63 593602 coq-unicoq_1.6-8.15.orig.tar.gz
    5e708f4d7c24f4290e269020aafd104e7e7401031869fbb3cfc0daed640b2278 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz
    b10cc6a4f271fd9ad7506f61ee1cf5cf05f9b7561c825834aa8230dad7dd1be9 7419 coq-unicoq_1.6-8.15-2_amd64.buildinfo
    98986afd09463d1389257dde581a27b029c45e08e1bb9d826e26d216fe7f1623 20480 libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb
    da7ee3054af554b9395f982b2d01a950a5296c7b14f15956c8d471bc7c7f8187 77796 libcoq-unicoq_1.6-8.15-2_amd64.deb
    Files:
    fd6babd093027422dbbfe90cfd68bfdc 2079 ocaml optional coq-unicoq_1.6-8.15-2.dsc
    016e0516edc78290c4b0edcf5fac31fc 593602 ocaml optional coq-unicoq_1.6-8.15.orig.tar.gz
    78984d882dc29477d686de9556b796c8 2276 ocaml optional coq-unicoq_1.6-8.15-2.debian.tar.xz
    5efad38596512a11b2052fc2b67f710a 7419 ocaml optional coq-unicoq_1.6-8.15-2_amd64.buildinfo
    4524c7f147c7d29a3f3cce828e478787 20480 debug optional libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb
    2cec38baa89a13ffc1585de307389202 77796 ocaml optional libcoq-unicoq_1.6-8.15-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWWN0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQsP/RvASRgVAQvBjfLTPgkp17xsW3SdRMaP 9EQVBIk2IZooMIjUVTg8u+gz2qyzBrfQi62UPkyidWSo0BbqxpWbqMCbyoflZ/xf be2xmCW9jIklglF4v4rVMT/AdgIMZvJhtDMFtbcdPTTBkAzPkZC/8uUGfaVXvumx ybg2i3GUYHyxK/xWei1BEJPKj/UUL6nnW2Wdm2jE7DnpuxCOshPKb5nvk16vhd// vsNKUDhMSGceE/06shlx9hNUCwqf78DQdqTLRrkBnJ1xf2KAd7UkP4s50D32Sy2F XoY7piW3OCv6Ph4qcfyQIAb+4H/ejCKSKnvN+0aeIRqZGPMSZkDVRqaqaghp/5PD miwuFbgxM02eNS+c6DvDxYX1BZnDJw0eEOZaTcr3f7CrtsKc/GLOZTEfTfy5Ue5x 1PoZZDvyL5F3g9pryvOHBsml6f/hMcFF7UzYWkcYyxJTfjflDkWQJlKRNdaIdhrm NCnDnpMfGtDMBTAGaIzFx7VdyPyHwqJ6qGnCbzpoYztVqC3JN1gACuhsfEVpqzND EXbuPsXmkPC88Q9mU9HnyRwKVnFg+GtRQlvRrZJw8nd2e/jDjO9xlPpTN1OMhuFa JuljvEPX68y6J34Q0iglmY5DqYm7A8zIDLFsAp5V9xTgzhTPS0Wjoyk4DCDo+F3E
    vTT6mK3N5sxs
    =oJD2
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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