From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id qHXuOb0bz2ArgQEAgWs5BA (envelope-from ) for ; Sun, 20 Jun 2021 12:43:09 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id GA+eNb0bz2CANAAAbx9fmQ (envelope-from ) for ; Sun, 20 Jun 2021 10:43:09 +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 29F69C224 for ; Sun, 20 Jun 2021 12:43:09 +0200 (CEST) Received: from localhost ([::1]:40028 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1luuux-0003H1-LS for larch@yhetil.org; Sun, 20 Jun 2021 06:43:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48422) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luuus-0003GW-LJ for guix-patches@gnu.org; Sun, 20 Jun 2021 06:43:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:49819) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1luuus-0001H8-E5 for guix-patches@gnu.org; Sun, 20 Jun 2021 06:43:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1luuus-0006P3-B6 for guix-patches@gnu.org; Sun, 20 Jun 2021 06:43:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 20 Jun 2021 10:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49130 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49130@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.162418572424514 (code B ref -1); Sun, 20 Jun 2021 10:43:02 +0000 Received: (at submit) by debbugs.gnu.org; 20 Jun 2021 10:42:04 +0000 Received: from localhost ([127.0.0.1]:33129 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutw-0006NK-0H for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:54988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutu-0006ND-Sx for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48314) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutt-0002iX-Eg for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:35568 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutr-0000YX-87 for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624185713; bh=uHLPEh8tJDVfz/ydbD05S6kqAogYH5dgnRsC0N1tU3o=; h=From:To:Subject:Date; b=olTjXHY1BteXlWbQG7LiwYmsKn3AWATwgyEEAiL5csEGQt+LFvgh6dS2hwaetqdHZ PoWjduQFTjKxIJN49lFoJRE2pv5wDQkJfci1YVEo4l02HoUhv/ByUYsCANPpaHaPun SsXKteceEJSdRkD7/o8E09no8krmtoCp8k0/n8Z4= Message-Id: Date: Sun, 20 Jun 2021 12:41:52 +0200 MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 33 X-Spam_score: 3.3 X-Spam_bar: +++ X-Spam_report: (3.3 / 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, FROM_SUSPICIOUS_NTLD=0.5, FROM_SUSPICIOUS_NTLD_FP=1.945, PDS_OTHER_BAD_TLD=2, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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=1624185789; 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:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=o6zFQj/CUWxSSYadzwH6SLQMDIclolIOPELIfx/jews=; b=IFCZRVM2LN43xSPUp+/o8xzowj0dH/ZTTXO0HoO2WYoQcMpJDv8U6kOYP37paPE8+c5QPI v0Zul77G8U+O03q4Bbw26c7JsGy7z+gykbGWwQzE7MDX7HqLxvXggBE1KBnNHqomQFgTOH kHfhOfMfgCpEkpoNiAVQvgicuieZrv+QaYBqRJ1qDNogs5TjiIUYmkbYr79mpkaBOOMzpp CIWXS2XO7l8ytsTZoH4jkRLlsLfjNRPYxHDDxL3vEkcYd+ndHFagSTI90+Oox3k9UI7Wgz dsLsykiiL/3CAUzILIFFMnN8YQrC16DeMy1x2FvHQDCnYM8YMP3XxlJnaLnRtg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624185789; a=rsa-sha256; cv=none; b=tXABrg3+OP+ucwXD5NVPL31fX/vsDvdBlrEWn+5EdDLSirHsvrY/6KwSRdDO9cvtqte85Y cPXmZU9LoTsFfCmHSF+zTBbca+izLxSleF9e43ZgW2e9E07B7LKMgdhu3o8e3Ko4I9g1+5 6H22zspVFjcDPV7HSXOJfqg+H22eQ1fHhGV/N6hXtlhJ+A1UAEV+NPLUfINPrwCLSMsf1f jqQlrl2tsYKDoGNbLHtdbJcbWqFrF/xLjHpoOhYJ8ONUl2/r/1nQ749tfNUh+08PwUf0OI uwpNPwJ1gcbLdxEvfr+HzQ7rD9Dj7Tiwr8uDyfQ4X/D5snDuvAykw5ZnAya77g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=olTjXHY1; 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: -0.33 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=olTjXHY1; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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: 29F69C224 X-Spam-Score: -0.33 X-Migadu-Scanner: scn0.migadu.com X-TUID: RbX2clPxGOPj * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4e0c6458b6..a49ee8370b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1030,7 +1030,7 @@ Emacs.") (define-public ocaml-menhir (package (name "ocaml-menhir") - (version "20200211") + (version "20210419") (source (origin (method git-fetch) @@ -1039,7 +1039,7 @@ Emacs.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "019izf51kdc7pzkw68zg8a2alc8lxw1gwdp7in970mr90n16b5zj")))) + (base32 "0jcbr7s3iwfr7xxfybs3h407g76yfp5yq5r9i0wg2ahvvbqh03ky")))) (build-system dune-build-system) (inputs `(("ocaml" ,ocaml))) base-commit: 7ab6907448002d7049f01f320300a9daa2388e69 -- 2.32.0