From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 09:58:54 2024 Received: (at submit) by debbugs.gnu.org; 17 Mar 2024 13:58:54 +0000 Received: from localhost ([127.0.0.1]:58539 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlr2M-0000Ve-4Z for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:57128) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlr2B-0000UO-5X for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:43 -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-0007T2-At 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 1rlr1X-00034r-T7 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=1710683865; bh=1dFAsTmhFr/F43g67TEEo9FwAVTcmafoTiFxWSUuLIU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=qcgR4rk9eqcxfLV/5ZnC0UXt6usO2KCU1oWcKCBi7risiepDn3nNoiZzVLU/ap0n2 xZtZ3VMcnZaAfaPbrJA8fMThr/4fUGHizS/HmHWp91utTSRYDN51aOHib58khqomuy CryKwuQDsid8oDMJJTu/bF9sgJRfR21tHLy2602KiVXZpA64/wPJo4txg6gYh303+1 DuyKlqh+XLZqASGvh8PR/SVvNLidZgVz+39f3KzPlMwiwjhox4vjSeJKkz5vwxeGnY 4B1WO66Zm4YZarxh72NONZIAOHinlKkiSw7XnxFrej/SxMAsOOxTt5uJPcdoDAul6G fsN6+jpelnuwTFboeP6Njq1xVnJ7xbAqi1wGeCXeTLccVgQKHOZanqnK2V34tsQUdr Pft9GuWbfI1QSVAnQ+/hlFANK53F85gFNHbLNLNathM6Z9oN3o93+b78nhjpEh5D1t TVurp5YEL614kmX/wFrvJCKebwPByU4UkNZhkUukPpeUSKM7JaaXldOmfQXq+bcySn qWO+Qtjl6STUpMD2+JyI8toXK/BOWWqnmKC3T5XgWKmC1S9pacNb+3cBGHijvEgXXO 5ESCupP5dk5M+HtiGOfwqttOZXQbUTdmJ2UBh5iJOvmxXAG9rEK/gcrF5p6Ylro2kP zBTcJOd3KEgJfY97i3EtuUj0= 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 D22C214026B; Sun, 17 Mar 2024 14:57:45 +0100 (CET) From: Arnaud Daby-Seesaram To: guix-patches@gnu.org Subject: [PATCH 5/9] gnu: dune: Update to 3.14.2. Date: Sun, 17 Mar 2024 14:57:04 +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 (dune): Update to 3.14.2. Change-Id: Ia91856a5cc660207f6b0bedf20495086f08adf5d --- 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 640d36b971..861c0e6caa 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1919,7 +1919,7 @@ (define-public ocaml-stringext (define-public dune-bootstrap (package (name "dune") - (version "3.11.0") + (version "3.14.2") (source (origin (method git-fetch) (uri (git-reference @@ -1928,7 +1928,7 @@ (define-public dune-bootstrap (file-name (git-file-name name version)) (sha256 (base32 - "12k8k2964s1z05mj71f9imwyvk0jyh5h6mpw4hpyr2d73iw53ink")))) + "17h91vvqdmwkl7l4b7z6mzxsq9g2czzi9h3d68csz3h0jhwwn130")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 10:54:13 2024 Received: (at 69852-done) by debbugs.gnu.org; 17 Mar 2024 14:54:13 +0000 Received: from localhost ([127.0.0.1]:58680 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrts-00023S-Qi for submit@debbugs.gnu.org; Sun, 17 Mar 2024 10:54:13 -0400 Received: from nanein.fr ([185.230.78.41]:58296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrtr-00023G-Cc for 69852-done@debbugs.gnu.org; Sun, 17 Mar 2024 10:54:12 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687208; bh=X+iTmw58f1cyN6/A/yyierEM88ucmY1tqxA+XftP/UA=; h=References:From:To:Subject:Date:In-reply-to:From; b=IzjIV8ZJYfdvNOwLuTC/cRcD+nExzNYp3OuynJheE2dH071mGhj11QydOMpMdh3La 0mNr56pfea/GtfDH+lEmdspjKZ7dasBNMGOwI6xKCUWn12osL0vmaHJL3CCbPMDmbo XXNT+OIMmp9dm4vQEXUs6WTw0GOgv1zSeu4qE5O4RtowYkWxFqeVKrtoeP+o44HX2X en/CimOKtjHGScayf+4dwfSODTA3WNda2pJauOxtIVSvpvR+4zUD5aZg4ywWaJ4oja +hxgiF26JDZy/2rdL/P1iGWx0EA6W3MlOZfzvjzE8yTnJWQrKRiIKZfoTOa7EC3h60 G39gjXc3GJATQXxVTzNyeUiYR+smkrMMrpuatm2wzV5rNGSPv/DM3hITpspyuT3IxR M6vWu79Ab2SN8UDmvHtq5iCKWbl39wLizWSJmwKlpzCMhtBeRCkXVzP3rcyFcKTC4f ni+YQVAnGej14T9XCMrrUJm2eo3NJ9OxMlr+Ye/OnwY+Viz4JJfQNAUo+cWTJiaOxJ DqcxQM4BiO/+W7YXmSP9k7aunK8BKflGlppVmoM62XPKtRVVlBbxT1yS5lx4sqrY6q tnVMvaql/N8t8vgtoDDHtT+vSvm2VWZnpsOjdgjTRl1i8ZicQ73IpPNFF97cp3G7WX NuFrr9YvwR81W0WwgLji3FQU= 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 48C91140215 for <69852-done@debbugs.gnu.org>; Sun, 17 Mar 2024 15:53:28 +0100 (CET) References: User-agent: mu4e 1.10.8; emacs 29.1 From: Arnaud Daby-Seesaram To: 69852-done@debbugs.gnu.org Subject: Re: bug#69852: Acknowledgement ([PATCH 5/9] gnu: dune: Update to 3.14.2.) Date: Sun, 17 Mar 2024 15:53:14 +0100 In-reply-to: Message-ID: <87il1knc49.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: 69852-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----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmX3A+YQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDK+TD/4lLLA9nVrmoywF453C9B6nbSxQ2GBH5/V1 0/LDKwjgQrp7lvpi/Ws1Ximys/L9h/4cJiNZ+VAEK5vLB+jMNQsUPFLHjYx9XPDl ro1j2j2+1U4cSB8oDrpEu2MtH8XwF2VHZrARu+P7+4zHr4KeX/7aF7cUoAXtdEFs aGSH+ct/mEhbHHarjulTIYATPI1oaEGMyk4BKih4UQu8mL1DQni8MWulVqvxLWY8 qOVUEtv3nDk79jELpg3qRLrMbA6TfygE/l/bcOEL8MMzC84oXvrbi2z6gdDs3gBV UUTTQazpesteiTygpcdslgO2MRJiil0ghLtzQNHdIEj5uq2UDd71oFUfrds3hdR3 PJfWTVwxINcYdmVUivL67QFl+6H3FjDhvyxnLEcAILpTVPkkGPylB//JCYFoQnqd yv8Kep9HxIBvxtmWgNt7lsIfb541FU2ctl5sAM668o8NwrkL54kZ/ge1A1tI++kM V1CnK6NaZv6zFZ6wiG5oehKtyU8UbvQeY8qehYdhWpG6/5p6rQcW3sssz0PXYBDa QQNFawBEMJSomHnnJGDMRWpo9YRiDuM8rwSOSjN6qv+p34T3Lci46o0GtsM9i2Gg 1X6voc5D2/NjmD12IHiRvJpO5MjyY/S1avPKr6RaoUXHvDC9Dd3CI2rL6/MfEumG oJLPMzU8Nw== =I+bX -----END PGP SIGNATURE----- --=-=-=-- From unknown Tue Jun 17 21:50:30 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:26:51 +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