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

  • mathcomp-real-closed_1.1.2-1_amd64.changes ACCEPTED into unstable, unst

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

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

    Format: 1.8
    Date: Fri, 06 May 2022 16:23:27 +0200
    Source: mathcomp-real-closed
    Binary: libcoq-mathcomp-real-closed
    Architecture: source amd64
    Version: 1.1.2-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-real-closed - Real closed fields for Mathematical Components Closes: 1010650
    Changes:
    mathcomp-real-closed (1.1.2-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1010650)
    Checksums-Sha1:
    506c95a78c131073b7e6a7c6fa9cd97ef51407f2 2209 mathcomp-real-closed_1.1.2-1.dsc
    5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
    db69b880489ece843a223b707d9c70fe8e44364f 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
    952d3bda9c64841bd9818f54c7fe7e8e4ecb3760 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
    eb52d6a5d58be2c3efc3bec3f53db985c06fb296 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
    Checksums-Sha256:
    d022df126b059b6b24a9e85d6379453b99797bcb2bf54a54a0ec71f468db912a 2209 mathcomp-real-closed_1.1.2-1.dsc
    84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
    9c98deb618063926e38e8baaf5c94d32539d4917c635515e99f8c83324810e4e 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
    f58314ba1c7c9f96761a6842cb902b1fc529b809d8202414e796329c0f198ec0 2291080 libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
    6c89e6448f2ed47552a7e02e6b21496712bd16114b8cc646b174decb3f9e6062 7238 mathcomp-real-closed_1.1.2-1_amd64.buildinfo
    Files:
    1fe1a9e9b030070f3b0147231bba535a 2209 ocaml optional mathcomp-real-closed_1.1.2-1.dsc
    0c743022726111acfd8d61ee1ae4156a 118236 ocaml optional mathcomp-real-closed_1.1.2.orig.tar.gz
    f5f4970eda80b42015b99cf58fbdc638 8532 ocaml optional mathcomp-real-closed_1.1.2-1.debian.tar.xz
    5c0ed94e06c630e39759a62556276ced 2291080 ocaml optional libcoq-mathcomp-real-closed_1.1.2-1_amd64.deb
    b180e5cc27bb74a17b6b5813abac2dfb 7238 ocaml optional mathcomp-real-closed_1.1.2-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1MAQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRY88P/inQkWfw11EjG9fYxa7HS45iLThOFMsi veo9WVtGpeWM8g2WONFlKg/N560+MKBYc47h0NKS2aVV1X2Z1Iio+5bQVejnkcAc ephjoAzrcXE7lchrI6TyGPnDWXp/4yskD9M5UvziqAWdFnOh5/rzhfDvzJ34oCmS wmDmX/qRZqdf7YU5TXc8kdHvl8kLTJ0HGBPV9M8yDQg3TA5h7eViAynaHLU9T8A6 S3sdIzM0g80V3a14D0WFt9KoqWu7RGuUHASCqUsrTn6DMw/K+Uun/LuMjkuhBC6H /XBEtYQlLWTP937kJ8TYZ74EkUkWC4Ghj1hbcRLEGuQZralXLmpr9VTIkIBuQVyM A6+bRxDxCggPldaAXsDjrfIi1CYTEVx/pnctR84HhRJR5tLZS+K1Kv/+sNvvkdq2 Ar8twsQe5h+6DdWZPT4/91FAoP6ScfHxEqWb/38kwq/4Nym0lvT2zZgMfXMe4vyC asPz4ee7wJnMHrscjNCzezwUJI7VGdeVEBDwaEeF6iPPJO2UwoZjuS/UA6crlkFU L0glRRU65iokQUI6xjeZgdAkSGRkYTvvrF4CHqcswGim/ZSpBqQ571Zivxr2nOzw DWdQkmxOBTYMhkfcmjDvan8vqItA+6ErOexIUjqcFzjkMEiEWkO2pwbKU0X0Ektm
    9q572hTGJIoI
    =4w7x
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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