Message ID | a4813d08101125acf35612b1a590d815908a2096.1710683827.git.ds-ac@nanein.fr |
---|---|
State | New |
Headers | show
Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 119F227BBEB; Sun, 17 Mar 2024 13:59:30 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8264627BBEA for <patchwork@mira.cbaines.net>; Sun, 17 Mar 2024 13:59:29 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <guix-patches-bounces@gnu.org>) id 1rlr23-0007Zx-Ta; Sun, 17 Mar 2024 09:58:35 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1rlr1y-0007XO-TD for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:31 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1rlr1y-00039G-5s for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:30 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1rlr2Z-0000Yp-MP; Sun, 17 Mar 2024 09:59:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69855] [PATCH 6/9] gnu: ocaml-menhir: Update to 20231231. Resent-From: Arnaud Daby-Seesaram <ds-ac@nanein.fr> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Sun, 17 Mar 2024 13:59:07 +0000 Resent-Message-ID: <handler.69855.B.17106839351993@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69855 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69855@debbugs.gnu.org Cc: Arnaud Daby-Seesaram <ds-ac@nanein.fr>, Julien Lepiller <julien@lepiller.eu>, pukkamustard <pukkamustard@posteo.net> X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: Julien Lepiller <julien@lepiller.eu>, pukkamustard <pukkamustard@posteo.net> Received: via spool by submit@debbugs.gnu.org id=B.17106839351993 (code B ref -1); Sun, 17 Mar 2024 13:59:07 +0000 Received: (at submit) by debbugs.gnu.org; 17 Mar 2024 13:58:55 +0000 Received: from localhost ([127.0.0.1]:58545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1rlr2N-0000W0-8u for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:55 -0400 Received: from lists.gnu.org ([209.51.188.17]:57132) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ds-ac@nanein.fr>) id 1rlr2B-0000UP-8B for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ds-ac@nanein.fr>) id 1rlr1Z-0007T5-E4 for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:05 -0400 Received: from nanein.fr ([185.230.78.41]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <ds-ac@nanein.fr>) id 1rlr1Y-00034q-1j for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710683866; bh=HYai1LcJXyGhY+9yjEb0T6V9yzYDTWdPj05YbKC9tXA=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=vUU0QfXf1ICQtXWQ2ecQe4/3pbG67ikJjWYxXRLhMcjEPct/Lv3+MBXTrDGEYPrth tlvVutd6mrYFyisPTWhYMZCXgA6QQ01qg48hO/34Dgz0yCmsDQjzV9bxFQKMQdb/rI zVxgzvJ5dixExdupJ3dzaJunC0sRRBbWkeW+8CDckJEcyIVxGVRZFhlxwjWRtmLRqE NY4XzrYh1cIdbXEZTGV9DDBm9oXrwSiA9uw78dp43ObxkI1ADAB1QRWmgalYC7CETM 9UvyUqePlt+BE3xxg1hqVLalc7JX8oxmd7gS1Am9/vXJOVZbGhocjk0gzYP76aFSKh hQnzP1z5r96Atv88kmSGUJGagc20wnR2X4xSlelMDFjKOjykXTUsTvG23pw7gytZm/ rPS6vCtUo+p8tVYX2xiBAUhHV+CEtL+WNFLCkO9bR4Xf6GZQwScZZ4bZlGTqs+hEiA NAw/3JorInngYzg6JhCHDvLM6bg/w/I5MqR3A0Z0v0L7YfXAFXm1q4Whv9doZQ3L9B GrZv3ZtQayVsz+f5ESiu1AqJ5b8nftnyN9wQQ3JjHqZ7E4Uo6mUPm80d78AjhR/1fy otxFxajFPWhuhDdtU/sZf7t3L5gJXBB9/cAojrW4YIxH9q6yxaAqlJqHWfEW8SiyD7 YqAoXR5P//FmQH+o+lfunHJQ= Received: from localhost.localdomain (84.52.192.178.dynamic.wline.res.cust.swisscom.ch [178.192.52.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 5792214026C; Sun, 17 Mar 2024 14:57:46 +0100 (CET) Date: Sun, 17 Mar 2024 14:57:05 +0100 Message-ID: <a4813d08101125acf35612b1a590d815908a2096.1710683827.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <cover.1710683827.git.ds-ac@nanein.fr> References: <cover.1710683827.git.ds-ac@nanein.fr> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.230.78.41; envelope-from=ds-ac@nanein.fr; helo=nanein.fr X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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: <guix-patches.gnu.org> List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=unsubscribe> List-Archive: <https://lists.gnu.org/archive/html/guix-patches> List-Post: <mailto:guix-patches@gnu.org> List-Help: <mailto:guix-patches-request@gnu.org?subject=help> List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=subscribe> Reply-to: Arnaud Daby-Seesaram <ds-ac@nanein.fr> X-ACL-Warn: , Arnaud Daby-Seesaram via Guix-patches <guix-patches@gnu.org> From: Arnaud Daby-Seesaram via Guix-patches via <guix-patches@gnu.org> Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches |
Series |
Update a few OCaml-related packages
|
expand
|
Apologies, this issue was opened by mistake, closing.
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 861c0e6caa..cfb9dbf64c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1357,7 +1357,7 @@ (define-public emacs-tuareg (define-public ocaml-menhir (package (name "ocaml-menhir") - (version "20220210") + (version "20231231") (source (origin (method git-fetch) @@ -1366,7 +1366,7 @@ (define-public ocaml-menhir (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0f31isr3cyiishflz6qr4xc3gp9xwf32r3vxdvm5wnr2my1fnn1n")))) + (base32 "12a1zxbkipa2i0k7ay0frfzyibpdvh3hr0rcq18kgsp924wp9q5x")))) (build-system dune-build-system) (inputs (list ocaml))