From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id yLihGYYX02DyZwEAgWs5BA (envelope-from ) for ; Wed, 23 Jun 2021 13:14:14 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id KAdXFYYX02CBdQAA1q6Kng (envelope-from ) for ; Wed, 23 Jun 2021 11:14:14 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id C877B10F0B for ; Wed, 23 Jun 2021 13:14:13 +0200 (CEST) Received: from localhost ([::1]:51550 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lw0pg-0006Pq-QP for larch@yhetil.org; Wed, 23 Jun 2021 07:14:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36160) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lw0pW-0006OX-NX for guix-patches@gnu.org; Wed, 23 Jun 2021 07:14:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:57146) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lw0pW-000577-98 for guix-patches@gnu.org; Wed, 23 Jun 2021 07:14:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lw0pV-0000Fm-WB for guix-patches@gnu.org; Wed, 23 Jun 2021 07:14:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49183] [PATCH] gnu: ocaml-dose3: Fix tests. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Jun 2021 11:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49183 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Xinglu Chen Cc: 49171@debbugs.gnu.org, 49183@debbugs.gnu.org X-Debbugs-Original-Cc: 49171@debbugs.gnu.org, 49183@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.1624446835939 (code B ref -1); Wed, 23 Jun 2021 11:14:01 +0000 Received: (at submit) by debbugs.gnu.org; 23 Jun 2021 11:13:55 +0000 Received: from localhost ([127.0.0.1]:40455 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lw0pO-0000F4-Ie for submit@debbugs.gnu.org; Wed, 23 Jun 2021 07:13:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:39052) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lw0pM-0000El-K7 for submit@debbugs.gnu.org; Wed, 23 Jun 2021 07:13:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36140) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lw0pL-0006O9-D5 for guix-patches@gnu.org; Wed, 23 Jun 2021 07:13:51 -0400 Received: from mout01.posteo.de ([185.67.36.65]:41003) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lw0pJ-00050o-7S for guix-patches@gnu.org; Wed, 23 Jun 2021 07:13:51 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id D57BF24002D for ; Wed, 23 Jun 2021 13:13:46 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1624446826; bh=UaCCAYxeZdXYc96R5Czj/Wx6CXNDNamkLGIoCAZukkA=; h=From:To:Cc:Subject:Date:From; b=UN6RcTKaX1T7aMba431R8UVudtCTZis3wIk5KWslMDdRpXmxjypwgzsROOnSaJ2MU PUrYnwvBOdRDOua6zhRxdR+hhbwKy5kBmGrnRX6iRDPfUdR2TZp/RQwbGgdOgkqzag Wj37j4kRA6J6NNOQDAb3y6gzi97Nqnz6jlvscrTRtYlsmfI4BdVrWn0lqTOhtiacEB APRTjUcG91JKaHJ1vy7tfqnbbKvtWumWaOxtE+s/uGT319YDcBjTIHTK/cbOn91rNM vrdqbbu2z+EtsuegsKg9hg+l3OvyPgnaLUtx0s5CsaNvcONcDhfc73tt1oE8N4gMOn aPiDAlvKqU4uA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4G90y05V9Wz6tmH; Wed, 23 Jun 2021 13:13:44 +0200 (CEST) References: <4598abb91f7f610e062f34931fe988d04b5d43c1.1624438202.git.public@yoctocell.xyz> From: pukkamustard Date: Wed, 23 Jun 2021 11:09:44 +0000 In-reply-to: <4598abb91f7f610e062f34931fe988d04b5d43c1.1624438202.git.public@yoctocell.xyz> Message-ID: <86pmwcygt4.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; format=flowed Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624446854; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=/rV9Cxs1l2unf7gO3YIrwb4sPnkz6h5xw4PEDqrPu6E=; b=Th41eN10nKfp+JXJcogLDDFwsR3F97tRxB/a2eCO6vGCJMFo+Su1dh6hidYyZybim+O5Ua cuXRiGM8m9QTS16D6wsLDbeCRC7/tEGuezGLA+y7uLm9x7LygHylccC6G4fowkJ3MvePxe JcLTqdrkaGRW+6ku2NzVmA8mNRExsA93fYa6W7Orz0OLSo4lE1AhAafRS8bXUr/LqVW/sK kU+dcSMKZgi3SZ5n4//pjnTXohpxSMFfIeNzG6Tc1m1l29vWbbPCpwWpnV+geycsxpQZhM X2MZH/l0MmTFVW+w4wgM83bCrfWDzEAyaGZpWVlGTVjEN3IXvynjKMyU7dJ02w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624446854; a=rsa-sha256; cv=none; b=F6Yru25ctv0vttEgXdYRLzTgPwIs12BSw17vjMDyT7wijwbzqVnZ+zOPxxe8EPfPaz/PJK aqKdMzCJALsTypjDmDLiX4FAllaLdm1DS80kuCBk+Q6FXLpZ58W4+NvGpx8Ga+cQSK14i6 1UHAxOHjdXLzwUG2rAK3q72M5fAF7tcXJgkTbD86+P6u+OvYt363d4JmnhaHxT2278qjy3 DgqjI3aTCqHaus3mEdB32mCWHgkpwB7RxLP+lpkMOe6EL+LCnXGvpGwPw6KU2Wfl21SzMt BeyG/zT1oxGVmaeHu9bEI0FzfyfvN8XVcI6iJY6TiBZlvPTPrn6E8jvL/158Uw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=UN6RcTKa; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.33 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=UN6RcTKa; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: C877B10F0B X-Spam-Score: -1.33 X-Migadu-Scanner: scn1.migadu.com X-TUID: oPBmezaAaNfq Neat. Thanks! Fixes the test and looks got to me. > No idea why one would use Python to test OCaml code... Yeah, makes one wonder. At least they've updated to Python3 (https://gitlab.com/irill/dose3/-/blob/master/CHANGES#L33) recently.