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

  • mathcomp-bigenough_1.0.1-1_amd64.changes ACCEPTED into unstable, unstab

    From Debian FTP Masters@21:1/5 to All on Sat Feb 12 12:20:02 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 09 Feb 2022 08:19:17 +0100
    Source: mathcomp-bigenough
    Binary: libcoq-mathcomp-bigenough
    Architecture: source amd64
    Version: 1.0.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-mathcomp-bigenough - epsilon - N reasoning for Mathematical Components Closes: 1005215
    Changes:
    mathcomp-bigenough (1.0.1-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1005215)
    Checksums-Sha1:
    68b651974e02bcc9b954acf2be5240ebd39ca378 2107 mathcomp-bigenough_1.0.1-1.dsc
    fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
    f4eedb7395c9148776d6b8ec9deb006d63a916e2 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
    615166d397b06dae3aeef87de9fd96b67cc8dc6a 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
    48cd3d5ca35c2c2c93a0966b51a4d9c44c638e28 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
    Checksums-Sha256:
    f115dcf1776453fc8062f0bb3cd296e287e9087c0ac7b0cea32acae96a7f234b 2107 mathcomp-bigenough_1.0.1-1.dsc
    a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
    37a13c5d6b928889cae401ce25be7730e618c3171611a3f2222bbdc781450b03 8340 mathcomp-bigenough_1.0.1-1.debian.tar.xz
    d7ea6261aa57bb37a814842bd8ff669af50d4bcf05e145e43534ebd55ef423fc 25680 libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
    c270372f64d2d8e7d6f14ca8e1e53d10e3177614cf8bd7ea4ed823ba72f9053c 7791 mathcomp-bigenough_1.0.1-1_amd64.buildinfo
    Files:
    c5614956a8af9bdb0f61b65fd483d413 2107 ocaml optional mathcomp-bigenough_1.0.1-1.dsc
    6643a658ea6c6fb32b788a730bedee55 12248 ocaml optional mathcomp-bigenough_1.0.1.orig.tar.gz
    73340b37726d6d7f14353c43a2064dcb 8340 ocaml optional mathcomp-bigenough_1.0.1-1.debian.tar.xz
    e26c02698ab74dd42a916478b4efee7d 25680 ocaml optional libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb
    bbbc1b94c25d9c7d34325f831b9583a5 7791 ocaml optional mathcomp-bigenough_1.0.1-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDayMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR90AP/3l7eJGmzmyp3rNQnKpYZeDeC3RGUA6U Bl3tNbz7xgJ+S7Rps0/Wsxmfga+AG4gqLqO55m7ZqbZKF3OywJrqYZUYXicRj7vo jE3A0ECfOjnx56AZlPmq3zOI9sJu3CtT6l917q1klzAL5AP1fNXXzJhPmrs9wIKy vAQJThnN7pmW3IJvTAO/NIjZcKo6yGx1F6wlTSM+hLgEY5S8hNWxpKub9P8Q98kX /3tnRFoyKhiNHoISKPfwRBa4CzHMBm5Kly5NHDIvjFTSP5+i0Mn00B7regfTpX5e 1XldznkENz+6yglKT2BQCsi82z4X8l1PqyhpA3jKceBWcztcT3PEmx32R24/BXdp woaIcqkqDUH5TxCBn5lT/YNBizantnfA4CkUnVUCXTtBeRiXh5ScVAl8v4NoaqwO E4w/41VBqpQCR6UfUieC3MSJ4+xRE5QtbzSkjTvrwZM9hsa6DFwYF4Eofqzk73ad ynAA5rdXXKVLgrJuwM3l5SoAZSIbZ25wMb0cXc17VsW8WlCdy20xngJvGD6IeMQl krsOZVa6gd1691U/l1uMWD7D3ah1JFny0FRvqBQQDKfB95esrc8Ny2ClRDjRKOw1 yIwqKi8PjdMcYWUpmatyHlZAIBhBCNTn1YsN4JMkICRHf8keqUtOd3GRF1/4QT4b
    ZKinSGrqa+fs
    =8IIh
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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