• Bug#1073879: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency

    From Debian Bug Tracking System@21:1/5 to All on Sat Aug 10 19:30:01 2024
    This is a multi-part message in MIME format...

    Your message dated Sat, 10 Aug 2024 19:21:43 +0200
    with message-id <15b7e449-0d42-45de-b23a-ebbaf94906d3@debian.org>
    and subject line Re: FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bigarray)
    has caused the Debian Bug report #1073879,
    regarding FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bigarray)
    to be marked as done.

    This means that you claim that the problem has been dealt with.
    If this is not the case it is now your responsibility to reopen the
    Bug report if necessary, and/or fix the problem forthwith.

    (NB: If you are a system administrator and have no idea what this
    message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org
    immediately.)


    --
    1073879: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073879
    Debian Bug Tracking System
    Contact owner@bugs.debian.org with problems

    Received: (at submit) by bugs.debian.org; 20 Jun 2024 06:35:49 +0000 X-Spam-Checker-Version: SpamAssassin 3.4.6-bugs.debian.org_2005_01_02
    (2021-04-09) on buxtehude.debian.org
    X-Spam-Level:
    X-Spam-Status: No, score=-105.4 required=4.0 tests=ALL_TRUSTED,BAYES_00,
    DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,
    FROMDEVELOPER,OUR_MTA_MSGID,SPF_HELO_NONE,SPF_NONE,
    T_SCC_BODY_TEXT_LINE,USER_IN_DKIM_WELCOMELIST,USER_IN_DKIM_WHITELIST
    autolearn=ham autolearn_force=no
    version=3.4.6-bugs.debian.org_2005_01_02
    X-Spam-Bayes: score:0.0000 Tokens: new, 10; hammy, 131; neutral, 23; spammy,
    0. spammytokens: hammytokens:0.000-+--Hx-spam-relays-external:36ff,
    0.000-+--H*r:36ff, 0.000-+--H*RT:sk:master., 0.000-+--H*RT:fe40,
    0.000-+--H*RT:216
    Return-path: <glondu@master.debian.org>
    Received: from master.debian.org ([2001:41b8:202:deb:216:36