From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 09:58:55 2024 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 ) 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 ) 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 ) 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 ) 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) From: Arnaud Daby-Seesaram To: guix-patches@gnu.org Subject: [PATCH 6/9] gnu: ocaml-menhir: Update to 20231231. Date: Sun, 17 Mar 2024 14:57:05 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard 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-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: Arnaud Daby-Seesaram X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20231231. Change-Id: Ie3af9336d1a75cd70a670e1dd8b8f6ab575992a7 --- 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 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)) -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 10:49:56 2024 Received: (at 69855-done) by debbugs.gnu.org; 17 Mar 2024 14:49:56 +0000 Received: from localhost ([127.0.0.1]:58644 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrpk-0001uU-Ck for submit@debbugs.gnu.org; Sun, 17 Mar 2024 10:49:56 -0400 Received: from nanein.fr ([185.230.78.41]:42970) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrpi-0001uF-0G for 69855-done@debbugs.gnu.org; Sun, 17 Mar 2024 10:49:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710686950; bh=nR68eWb+tZDJrzrGB/NYGkQEB0uWCoqOAJZO8HjEzzk=; h=References:From:To:Subject:Date:In-reply-to:From; b=m0n5qdmF0a2rfqmguKozxkpO3PkqdOD4k1zhVycFAXaqhF/6VOQuy1nGitlWpUmtw ffcpMqM+ZJYdVjwIDjh4lc1kShNTE3azjYU1smx7m+Yx83tK7qhL1TOqG9XmD9LZCi 5F5cQnSp0MEN0Qs5kCq6ho6tyn/V22+sXyoycq+L0wdzuZCF+aNAksvzyj6IgqCotN rkGeVvJaCibdfZZp59Ky5Q92C7r57SVpqB+bCTEcEXWHKQvdHQ5Su7zBw32oniUuh0 QB9JHDPfXiHHvAduvHVSfJ9MTeKTzbf4bXGHgPcKn3MyAx1+wcrsITZ2ZaHHXaBjGN zm7itR5qlx14h1Cp2AYcBC0QMSDLpTLV/lyNNFkuthS4IsGnV6eM4d90rhJVfYXs78 0OSe08IDO2h/Yo09PUEL+3i8mGFRp9NPJZy3mEUbdk9W5ZyQxoK/Z5RsfNVZMP2LB9 aOU57s2KgyrgLuwsTdIeUdvrqASSrLs5+4UvKfZYmmN6WgUKggyT2RSz6r/fQmC32U 3bdmPKBP9aLMpTHvtJN/n5Yl85LdeQHQ1F36r0erwspbyJcmZLU0FjQrqy9biIWA41 /gU28hM4MWE/KeGRrnPCfPAwheImesYhXkvpJ9KP8VPsD8xUBa/+dUaFAElRzYzW8R LcjIxqxygq6aELm9EOTXnbsw= Received: from portableArnaud (unknown [IPv6:2a02:1210:6827:b00:a1a1:f3:7784:8a4e]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id B2C92140267 for <69855-done@debbugs.gnu.org>; Sun, 17 Mar 2024 15:49:10 +0100 (CET) References: User-agent: mu4e 1.10.8; emacs 29.1 From: Arnaud Daby-Seesaram To: 69855-done@debbugs.gnu.org Subject: Re: bug#69855: Acknowledgement ([PATCH 6/9] gnu: ocaml-menhir: Update to 20231231.) Date: Sun, 17 Mar 2024 15:49:00 +0100 In-reply-to: Message-ID: <87v85kncbf.fsf@nanein.fr> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69855-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Apologies, this issue was opened by mistake, closing. =2D-=20 Arnaud --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmX3AuQQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDI7zEACX1pmHT1cF1KS3KEoyYUBuwAkegYlJUwN0 JW2779aBsag5jHJfAGfoQNml1FJKhMue9w45RXCSZy4aRGV3CZznGYsv0KEqLy93 tqGbxWfZ4TPY647GEjgrPmA0OGBttu42EauZfU1c8ecncee7Zq+a458VNQ1VZijZ W/vHiiAFnPp27selI35uHe+MQTC3OopFHHkpqOb/OH8dtGIl9GdMcLP2RNN8TvdM mY2WQqh3Dio6Xv0TF3n5u0clEFw24Rgph9BPa/K1c0ejvs6ux9pIVF4SA00CludR GUqcP9jNs8iD2abgAlRep2Bmj4NqLBeEj2+07HatdOeVbbygw1u0kfIyBPLx6KEG I9Lb6c+zKXI+yfnWKlDYXSTNKMqvTwmn3SyufKB4XBgxdXEGzXufM1yKy34QmAgX jkYUy7bNzrBnB7TqNsqpZgRQXIM5B1+0ohbi8Q4JY5/nNzXky+qY/wgQOOfZqfPn AnodqW4puE7nxGTnNQMiDyD6HRUa6yiUU9qpUllgbbGEEVeaVSYywghwvGwCqhuK HxD/4hB7/IER2HNLM4pjDv2cyr8gJGnjKP+SM/9o69dPSDV9zo+wXvYVxDyNKaSE bZAL3eVcoMgBadDWjorBanJBpvEuLbTmq5m5UV3JJ/OPgjwrLLcMzpRNAkocfoYM aqWLjTLjUA== =348u -----END PGP SIGNATURE----- --=-=-=-- From unknown Sun Jun 15 08:45:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 15 Apr 2024 11:27:22 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator