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

  • mathcomp-finmap_1.5.1-9_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Jul 5 17:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 05 Jul 2022 16:51:52 +0200
    Source: mathcomp-finmap
    Architecture: source
    Version: 1.5.1-9
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-finmap (1.5.1-9) unstable; urgency=medium
    .
    * Add patch for ssreflect 1.15 support.
    Checksums-Sha1:
    eb948b6f3914694d3f0f612aa24220723bc2cd0d 2126 mathcomp-finmap_1.5.1-9.dsc
    378cbdb0646e903b4897f8422a761dfbf7dbf882 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz
    81186fd459a8ef33c2f020c7b623d1d896335f2b 6724 mathcomp-finmap_1.5.1-9_source.buildinfo
    Checksums-Sha256:
    a4dc37d3616ba99b91d944ad5d8c516c198f6becab676204e56df71eb54d1ac3 2126 mathcomp-finmap_1.5.1-9.dsc
    24134df53b8c656c805effdb0e08f0d83471488f495b87e515ee1fc0122d8887 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz
    a53d97a4832f486ba0fa1521e9cf56c9a083e0e389bd34365624cb5c2f1aa0fa 6724 mathcomp-finmap_1.5.1-9_source.buildinfo
    Files:
    ac0eea4c527740aef61951c4e1359e60 2126 ocaml optional mathcomp-finmap_1.5.1-9.dsc
    8973b068fadd01fd1f09d63cec5d950b 9256 ocaml optional mathcomp-finmap_1.5.1-9.debian.tar.xz
    b6cf6158af7bdf7cc2eff6719960b1fd 6724 ocaml optional mathcomp-finmap_1.5.1-9_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLEUDgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRH9wP/1u6onMHvjLjDFILlt6dswiDeF6lBWVc oH+AQ3ATQnTynrzVZOewAuEbHrIBpLl4COuw2aKQtLJntB7LL7BAoDYR8m/G/63J 8kqjvYr7ozX1y2dcIPlmpq19Z/k8pb7w75S5wSJXLkkHGSQhqLxsZmOmk68f/2SN locPzSCSWnMZcKGlBDv7dQPjI/SRs5EDOZOF3vG3eE0EldYAAJWwWgAuroJW0jRh 005gH+cAcBWhY0nUBQ2DJu+J0ZRQOF9fWMMAaxhCq0QXRxo4nzRIdmk+kLMOnp32 NqK2rmkKjQt/HURJFX4HF5mtSs3RKJuo1KRkvKQvYPEgaHZgcWCti6aJVBhDgffj D1xuTN/oBOoFyb1E8aXvWuUe6AVYD/iwmJDmacrfZ8sST1IxaZP1N/E9w9iB16OB BGQDeKXauVBHKBZ9c1LjcV0eK1vEn7AQYpdWmaA+rqDqtoAHyZHa45d/FKkuzsnq U3LsRfUsuoC3taBxg1TePNjn7gl3xlm4v3qn7bsWqK/Xvb2VjNs2ztpWAULkv3nz 19s9NZVzoK9W7AbU4oZ2ap+VHMWNyK4bdr4VwjmQiP3BExp7XlM2y5ZQ101iHTL+ iIbDiaGLPSjU6KCNw1BYUjYu0gTd/Lh5AYWmyNKaV+BEGLeCO5XO0RrTRU1jI3Re
    9ze9q4vDIeMN
    =UfPM
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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