From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 6H/HDB6OhV/aWgAA0tVLHw (envelope-from ) for ; Tue, 13 Oct 2020 11:23:10 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id gI6TCB6OhV+ySQAAB5/wlQ (envelope-from ) for ; Tue, 13 Oct 2020 11:23:10 +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 C3C91940224 for ; Tue, 13 Oct 2020 11:23:09 +0000 (UTC) Received: from localhost ([::1]:47246 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kSIOa-00089E-Nb for larch@yhetil.org; Tue, 13 Oct 2020 07:23:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37438) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kSIOU-00088y-Ob for guix-patches@gnu.org; Tue, 13 Oct 2020 07:23:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33832) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kSIOU-0001HZ-FK for guix-patches@gnu.org; Tue, 13 Oct 2020 07:23:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kSIOU-0006qg-C7 for guix-patches@gnu.org; Tue, 13 Oct 2020 07:23:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43745] [PATCH 21/27] gnu: ocaml-alcotest: Update to 1.0.0. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 13 Oct 2020 11:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43745 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 43745@debbugs.gnu.org Received: via spool by 43745-submit@debbugs.gnu.org id=B43745.160258817626300 (code B ref 43745); Tue, 13 Oct 2020 11:23:02 +0000 Received: (at 43745) by debbugs.gnu.org; 13 Oct 2020 11:22:56 +0000 Received: from localhost ([127.0.0.1]:45378 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSIOO-0006q7-03 for submit@debbugs.gnu.org; Tue, 13 Oct 2020 07:22:56 -0400 Received: from mail-wr1-f66.google.com ([209.85.221.66]:43915) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSIOL-0006pt-EB for 43745@debbugs.gnu.org; Tue, 13 Oct 2020 07:22:55 -0400 Received: by mail-wr1-f66.google.com with SMTP id g12so23544037wrp.10 for <43745@debbugs.gnu.org>; Tue, 13 Oct 2020 04:22:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=8XWWW6CMt0mSVbPsjUa3+OEfyZDNZgdDj6v/VCmJ1bk=; b=luYU4D8cKfntGxaxEnSP6Q+mEVb9Rgxnx4AVW3XNUxind3uvVHvPCuSPubn2WhYV8p u/2afCnc1qRVvwyB8fa/WaMFAl7LRE5A6EC3Ql5Up1VHNdp6O6xGPlwzP1Es30P/cwXL zkWRkcxKwRLknHHnvvcGffj4b0fpL9q29KiotD0+hsI7nlqSlzSpJVVH2wXwKhlW6efP 5lueE/ctsM63/Xe1ktMur/vGFEL7YF/2CEacJiNTMWJR80CO9rR4Un/Q30kdNmGfs/Sp +iWN+dZWygoZq87hKUbMZobF1SLNhtnp/I2/RjxslVwtJ6lAIkkC348QjeuRToC1ICNJ l2nQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=8XWWW6CMt0mSVbPsjUa3+OEfyZDNZgdDj6v/VCmJ1bk=; b=DrK4bfK+0YKKWCLVCR42FGe0wav3ZJeRHnhEobQRVhVpyUOmif2T3XtcnLM51FZvAB 30ndfiw5aNdnMtJZ4jTsuEQo5YfYybX/uKGJemOK7xElw+V4L1CGegoMoSa1d9E+WEyf /Pg59nGsiw0bgpoqRsWsYLlofJEXgLhP1mvVlQKU6/sBITYFOdtvxpNfX0mhxojoAvmj cgjRtDcFtnE0gBb7q2+vh2M21n5wYu5zGgCokCeWMwFEXy8fTDTgn8XKQ17sgTF7bOVQ 2GQDTVrW6+N7WVnEpCNgMhDBnZdXZLfMNyZaDduBNlvoWztW3lpt34j1QxpDulx3Ems+ dtpQ== X-Gm-Message-State: AOAM5329kNhTbS2CKpvpMmDV+KsbagwqnkS3I7nV5zsAPdVmsVygZOzs UEy5/6kBbCg5ZyR/MQIpSpCNegdb5u4= X-Google-Smtp-Source: ABdhPJx1zSr2hxCrLuPass7VyWit9pulzZSXdDO5SeIqSneBvgGfMBYCGX7BCxZc2sPhxtBrMXq7XQ== X-Received: by 2002:adf:9504:: with SMTP id 4mr36671022wrs.27.1602588167684; Tue, 13 Oct 2020 04:22:47 -0700 (PDT) Received: from lili ([88.126.110.68]) by smtp.gmail.com with ESMTPSA id r3sm28594863wrm.51.2020.10.13.04.22.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 13 Oct 2020 04:22:47 -0700 (PDT) From: zimoun References: <20201001153909.296c8d3e@tachikoma.lepiller.eu> <20201001134133.32105-1-julien@lepiller.eu> <20201001134133.32105-21-julien@lepiller.eu> Date: Tue, 13 Oct 2020 13:22:45 +0200 In-Reply-To: <20201001134133.32105-21-julien@lepiller.eu> (Julien Lepiller's message of "Thu, 1 Oct 2020 15:41:27 +0200") Message-ID: <86h7qymku2.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=luYU4D8c; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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-Spam-Score: 0.09 X-TUID: 2dFdC9zqykGg On Thu, 01 Oct 2020 at 15:41, Julien Lepiller wrote: > --- > gnu/packages/ocaml.scm | 10 ++++++---- > 1 file changed, 6 insertions(+), 4 deletions(-) Missing: * gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.0.0. and the other modif BTW, --8<---------------cut here---------------start------------->8--- guix build: error: derivation `/gnu/store/2d4wz8ax8f2s3a1g9clcskas7mn07clb-ocaml-alcotest-1.0.0.drv' may not be deterministic: output `/gnu/store/d4z21drbyn5sgsvfmkil0qlpd8zrwxbx-ocaml-alcotest-1.0.0' differs --8<---------------cut here---------------end--------------->8--- All the best, simon