From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id kE39FeT3XmGVhAEAgWs5BA (envelope-from ) for ; Thu, 07 Oct 2021 15:36:36 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id gOm2EeT3XmG8HgAA1q6Kng (envelope-from ) for ; Thu, 07 Oct 2021 13:36:36 +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 892B83408C for ; Thu, 7 Oct 2021 15:36:35 +0200 (CEST) Received: from localhost ([::1]:43030 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYTZa-00057E-AI for larch@yhetil.org; Thu, 07 Oct 2021 09:36:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59770) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYTLW-000310-Rl for bug-guix@gnu.org; Thu, 07 Oct 2021 09:22:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:34848) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mYTLW-0005gO-JF for bug-guix@gnu.org; Thu, 07 Oct 2021 09:22:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mYTLW-0001nJ-F4 for bug-guix@gnu.org; Thu, 07 Oct 2021 09:22:02 -0400 Subject: bug#51074: mcrl2-202106.0.tar.gz updated in place Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Thu, 07 Oct 2021 13:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 51074 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 51074-done@debbugs.gnu.org Mail-Followup-To: 51074@debbugs.gnu.org, ludo@gnu.org, ludovic.courtes@inria.fr Received: via spool by 51074-done@debbugs.gnu.org id=D51074.16336128946845 (code D ref 51074); Thu, 07 Oct 2021 13:22:02 +0000 Received: (at 51074-done) by debbugs.gnu.org; 7 Oct 2021 13:21:34 +0000 Received: from localhost ([127.0.0.1]:46392 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTL4-0001mL-FG for submit@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:34 -0400 Received: from eggs.gnu.org ([209.51.188.92]:57748) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mYTL2-0001m2-Bf for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:32 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:36350) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYTKx-0005IA-3r for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:27 -0400 Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:59172 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYTKw-0000V7-Nw for 51074-done@debbugs.gnu.org; Thu, 07 Oct 2021 09:21:27 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <871r4xds8s.fsf@inria.fr> Date: Thu, 07 Oct 2021 15:21:23 +0200 In-Reply-To: <871r4xds8s.fsf@inria.fr> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Thu, 07 Oct 2021 12:49:39 +0200") Message-ID: <87wnmpc6ng.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1633613795; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-to: 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; bh=LRweuyxZMHsizFjmE1xdr7OJ+EAL73VYulQiYO564R0=; b=kraYvFi83wm4jl3Nml79BnxG+wvDEYjLhX5SUlLikVDY3ybEQ+DOKiesLpqJeV+JlbaWIk wJJ9SNNAFYtgBuhzkT6NC9f+zZafUN8sVfWn/wwMGs8j8n1Rs9x+LGsNXaU62jzgpOk/Zw QV+uOFb9woKTHf0xQJVMtUyqMrkWSJ4kbW+cCb6XXNfmPzYe1WiHk5MixW0BcSWBCXdv4F ZbxWocZX3I3gdyviVEMEbjpTUGgmU5ub9cloxyge3ozTorcMAqR+aucK+z+b0eN8dbX8Jd /yAoriPp71YiR9eHSc4VczpT28tqgtoXuq6W10mmPrhEfD0/3UH03N+UcHd5XA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1633613795; a=rsa-sha256; cv=none; b=AQFL+DS2ejcXtw/AvkRijVxKvcuG329Yw49VgI8BqMUI26x676HYAhnxCkUmY4A1xp2eMY O5olIizX3JQWp8zC+sQDXhD07ccjLG2MPiz2YZWX/rH7FCN5zbvKfh2NKDp4ilqAuTDcDE RjXXQh+NKGMgyIbVINwsA/GZSYQVPObrGXUVBYdeyC2S9t0yLD/k04aqWAVy5cBiyOEGLq SAuMt/Ac5fgUcmfDxfDglpCZssppJcumxgHS+sEspQ2UNBiSZOWgUqfVvA+tSMOx/cVS9v JiiYfcA2IqZUtN7qL1Y53dbGNT2gRl1/0PISpPrJnXFEpr4P3yGlMZlkFDzPcw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Spam-Score: -1.42 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 892B83408C X-Spam-Score: -1.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: rJcEZBZXoFPT Ludovic Court=C3=A8s skribis: > The changes correspond to the 54fa1483c9..c335fb2d5f diff at > . > > I=E2=80=99ll update the tarball hash. Done in 16e3f8d90a424abf17be94d7ae216d9feb932e8a. Ludo'.