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

  • mathcomp-multinomials_1.5.5-7_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Jun 28 09:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 28 Jun 2022 08:46:47 +0200
    Source: mathcomp-multinomials
    Architecture: source
    Version: 1.5.5-7
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-multinomials (1.5.5-7) unstable; urgency=medium
    .
    * Fix use of dh-coq.
    * Fix installation directory.
    Checksums-Sha1:
    3d1e7bce0ed502d28387e85dffd9188348e8de65 2227 mathcomp-multinomials_1.5.5-7.dsc
    5552c599151f1e7e526d9592b46aee0066a92bde 8624 mathcomp-multinomials_1.5.5-7.debian.tar.xz
    8643d3269b96c3b3aa28cbe2faa668fd540eaa01 6918 mathcomp-multinomials_1.5.5-7_source.buildinfo
    Checksums-Sha256:
    5d50931ba6bce51bf80996a5d685b11be1cf1609f50c317dc093f1afbe69ba7d 2227 mathcomp-multinomials_1.5.5-7.dsc
    7045cbeb98254742a1e9d6f852c1e8eccc38035d210d5b1a7060ada089e1c4d7 8624 mathcomp-multinomials_1.5.5-7.debian.tar.xz
    40a5d630667a8b46d27b3aef1fec2f7b05225958cc077d95682848e1d49bd282 6918 mathcomp-multinomials_1.5.5-7_source.buildinfo
    Files:
    ee8019b8371386d399c6c801f9cb127b 2227 ocaml optional mathcomp-multinomials_1.5.5-7.dsc
    e527ae3652801dfbb391ed5b48c5ca86 8624 ocaml optional mathcomp-multinomials_1.5.5-7.debian.tar.xz
    d6dd7c2403922848028bfd25c06b7095 6918 ocaml optional mathcomp-multinomials_1.5.5-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pAcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRh+oP/iv0SY9Pltp0OF/N1yijrOla5UBwipf/ TYRQuKxVoGKyToAgPg30ENCodv9ambSeEvzOMrypiayJWDimzM6qV58h/rs6fPt8 lmeM6sAGpJtUE14AwaO7Moif2CEII38lBTKztxSSPV0rta7Dtyh+btkD4JLvgCye Jdw7DFiWm8h7AqqZRrSSIexNr9YcXPtgxxiystK9EiV6ZOhnxGc1DpG0apG/Kz2M vQUjIjWMsdxKyndjkKnY0w4YBZicXkNFH50EimuCj8Zl15hCJl1UzKq0cP5ltIdS sVCRRreuLV0PVyIfB+zvLxglWvp8kqh0KwODwu9JYmCkkqI6nu3TSdQBP1zgJB6n 42V+fe6YKtDQLmYwqlLRDGCDHDCqLF/DSu6MmabUeVzny3G4vGVtxThyKM4tja8t 801GwU9Yxe76LbDscDUXt5totTCPw+01BNR+TfqVhbKzExl5PNoan2gYEE8FIpBy 4qSQTOzCWv3XcO1HWs6IlydY5TMKdKQ2UEZU0LHrphyBR2UMC/AUiW0CI6jyHxgC wTqoeCRLG9lg5w6tag4J8tN+X8qDSuMAXx3Qc3cePp5FhB+i1O1aS+MqeQKZDFxj 5y89kfqHCJpkBsKFB8wBM3FojT/bWn/a4LBDewcLTm8sw2n5Okf/1D/4zP4NU8fj
    MJ3JZXhMqPzp
    =SvLR
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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