From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 09:58:46 2024 Received: (at submit) by debbugs.gnu.org; 17 Mar 2024 13:58:46 +0000 Received: from localhost ([127.0.0.1]:58529 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlr2D-0000Uo-OC for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:46 -0400 Received: from lists.gnu.org ([209.51.188.17]:57076) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlr29-0000Tq-9v for submit@debbugs.gnu.org; Sun, 17 Mar 2024 09:58:42 -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 1rlr1X-0007SX-1Y for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:03 -0400 Received: from mx1.nanein.fr ([2a0c:700:12:50:1::103] helo=nanein.fr) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rlr1V-00032o-EF for guix-patches@gnu.org; Sun, 17 Mar 2024 09:58:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710683863; bh=l5Smh+iv5UXpJW3wqy1lAfRXB4WrVYL2Z/tpu/+L/7k=; h=From:To:Cc:Subject:Date:From; b=tvghkrDsZyw2CEQ7Y0Wyj3ofFBA10PDO6dUBZQIXP0OCene+y6vVI0IBtfpB+foLi 1UCdH9OIsZZLfn85zJl9x56kCdFtLt1to9+RRB7YsMbIinENZ1Uz9cHaBwGJfQJuqv Qu5GBxAp8EEnS7Rpa8tBRMIXtPAtlFDqpCoSZ4YxY4KnJ3/ccUVvupWqTJThw/JMwc 1UMuHz8g2HKZmq4NnZA9RAb1IdEtiwbBBOMgbOlwrIH6PdxpAVRnXaootejadfXLBO VeuaKbq7Mwp1ovLDGvpJQlcda2CPfWdAW5xz8P+FkrJvCp1fugPS3qX68PPhcZrf4Q V1hkt5fWGFdVQoA9sJjb+SrA1r7E1cD0xJ4wpXG43bsySS+tK3Lnhth0eEk5L1G3PP ymuyDOowhPg4yElKtaVHOE+mZDvnjTxDF4G7ur2lw9ctuKQSx5bRypgJiFkVZba8ks Lm4owd9OcO2bqyAefbpfaWoZgP6WOnGZhv7coJczCfkTzoGKldESO7zt0p5OeSEyn3 b6aOh4iNix9etCuJYbM0R06o53gWpmCKrAaZ9yUtq2nelCU2R07ODG5aPoQwbJcbtW SNkvjvHQePNVNVj0FdtO/kGbiIlwX/5hXAUkTWX7z8xUiyxCpftwAdD+rZig3V8/N0 MVW8md0doJwXNDNSfzAxhUiE= 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 12051140215; Sun, 17 Mar 2024 14:57:43 +0100 (CET) From: Arnaud Daby-Seesaram To: guix-patches@gnu.org Subject: [PATCH 0/9] Update a few OCaml-related packages Date: Sun, 17 Mar 2024 14:56:59 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a0c:700:12:50:1::103; 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 (--) This patch series updates - OCaml 4.14, - Dune, - easy OCaml-related packages. Arnaud Daby-Seesaram (9): gnu: ocaml-4.14: Update to 4.14.2. gnu: ocaml-opam-file-format: Update to 2.1.6. gnu: ocaml-opam-monorepo: Update to 0.4.0. gnu: ocaml-cmdliner: Update to 1.2.0. gnu: dune: Update to 3.14.2. gnu: ocaml-menhir: Update to 20231231. gnu: ocaml-fix: Update to 20230505. gnu: ocaml-monolith: Update to 20230604. gnu: ocaml-pprint: Update to 20230830. gnu/packages/ocaml.scm | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) base-commit: 9daf074a7a9ea77017622b2b244e3a2cdc6af7b2 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:15 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:15 +0000 Received: from localhost ([127.0.0.1]:58697 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzi-0002EQ-RE for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:15 -0400 Received: from nanein.fr ([185.230.78.41]:40704) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzh-0002E8-6B for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:13 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687540; bh=KVsxLXzM9a4XSrMcYx/zoWyNKZsqsgMfpfV1xjac8to=; h=From:To:Cc:Subject:Date:From; b=mUaHiIycD4iGRhzfuLBK2lM2DDaA5mfs0L0DF9eMeNl58LkwMUsTQe5owdmTZflyC UtIejuW/Og9vUVM0S5A/LfVt/QFAGuSUAo31aJVLOBMKgAL7/SU+H7N6BYRegNZ3s4 PYiRFOtsOssn+Jun/lXMf7Hj2hmoELE1VCZ1soguPPki7ElKVBS4ZFzce7P/thWDzH XjJaxSjcvzIrrlEdxO9wb2Ka77EdhZpqgcHO9gPy+GnHzq/QpZm9pVkGDllDdd3Chp DWGcbGU1QSi4fjkX5wpEZ8TTVHfCLXkktN8SMCpZ4Hj+rF9OmgaX1yVQK55yl/C3TO 5OgKXRdjEDod83sIry7tdGYiv85ILc0Y8+gCeCb3+ocnnP4wfHpASpJNOWftStF/Si C4i3CYbhFu0nsaDppCgy5jNDnorLh3HWOxcr2bKF65x9MbB/pxffMSIwPb0+TRrEtl fzcMQgrG3nwB+nTMLr7QeYTioFU0ih0pZK5atyuiUteigitqNOGv9F+VoVtcFWzmX2 EFOL+UG+7SXC5RHyHl4ssZJ+pM8v3pX1y0zNqk9gGzsuotO2QuNjn2gMCz1Zb6wSer YwBxwdnX/+77w5c2sB93RfLvVWAQwQlmnnSr8rpFxS5hRSl8d0qqOFJh66eT8P2aam SJBkw4bupuhJDdoG8JxWnbcI= 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 EFB54140215; Sun, 17 Mar 2024 15:58:59 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 1/9] gnu: ocaml-4.14: Update to 4.14.2. Date: Sun, 17 Mar 2024 15:56:53 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-4.14): Update to 4.14.2. Change-Id: Ib07d92afede8a504f420cc27047b2d9312b09e24 --- 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 0f4c351141..7d7c6826f7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -255,7 +255,7 @@ (define-public ocaml-5.0 (define-public ocaml-4.14 (package (name "ocaml") - (version "4.14.1") + (version "4.14.2") (source (origin (method url-fetch) (uri (string-append @@ -264,7 +264,7 @@ (define-public ocaml-4.14 "/ocaml-" version ".tar.xz")) (sha256 (base32 - "0vxvwxxycpc3r5p7ys59d86vw5vdr2lhmck1f3s6qms2096rf9y1")))) + "0r67zrn22532p5y6zk0zd0i74lbgxal4dpsq6gwlcag3jf3gc6bq")))) (build-system gnu-build-system) (native-search-paths (list (search-path-specification base-commit: 9daf074a7a9ea77017622b2b244e3a2cdc6af7b2 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:21 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:21 +0000 Received: from localhost ([127.0.0.1]:58709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzp-0002F6-3o for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:21 -0400 Received: from nanein.fr ([185.230.78.41]:52084) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzn-0002EL-7M for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687553; bh=HYai1LcJXyGhY+9yjEb0T6V9yzYDTWdPj05YbKC9tXA=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=jgIEYRkmkzF2g9J+o/vlSZnzgK/tNiFCEgOKwlL5PKw16Ad8r7rPFHes+Qdkyyi7a JTQzQw0Q5SC/W3kI++x2m6Sgx01fsZC1x9hwzEReC3eU2+9UaETeWbqpSXgpYdqYZ6 CiQgssZfMTWf2M+mQLJR6q/ez4Ewzs2mwYdJkKJsbVTUGOMhtSFG08DNH2lDFMJArr tyqLrcHynPt8bTsdD0nFBntetgdkZqCg0qHvwfbnLYXGunnu/7izh2Dz+OSCpzX2bk Jmt9fkLJhGk++4ghyAFb6hFSlQnWHKXG3v3WH9UGAOuFHm0GjMA3ykrltYe5qtPJ0W 6eOg5D1htiDm2yHeCn++NhaY3181xRx88sXn+mXc4A9zwqGe8+ktpTl4LqJvMC8azR cEMuEHk8iyJCR2FjbB1EPpz3lPenV635WaFdU53iseOw/GQz1Ho2uLIDLbM4TWwL67 WFTv1dHeFn+fGhc5CrM6b+MYubueKUTdRun6F/ZR8RlhLXaXt3/DyDV7ghweafbv8m p+dmHKmd4xDWKKF8ihMP0usAiTo4CNZ90UD/egmwKruoM8Isg6re+2m9TRpt82k5Fc f7Q8DeVGb5OSWkgmsi6ZsPfowebBz3yO8nQKSHy3POl3gviAs+YlBJoEJrDl2MydvL hilT5LvrRSfLAwFJ9t/BeK8A= 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 055D514026B; Sun, 17 Mar 2024 15:59:12 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 6/9] gnu: ocaml-menhir: Update to 20231231. Date: Sun, 17 Mar 2024 15:56:58 +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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * 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 11:00:21 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:21 +0000 Received: from localhost ([127.0.0.1]:58711 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzp-0002F8-Fw for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:21 -0400 Received: from nanein.fr ([185.230.78.41]:52090) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzn-0002EM-7W for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687553; bh=XlMKE1WTf8uNOhD7s6FOBQ/ZJ5MWHs1XuKmK4hL2S8Y=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=v4YpYbv8J7DO97qVMZ5KYcvsWM3EHwAeQdZXAxIVtX2os/pF2d8ZVPi5KO2ZvW49J alg5fWTOZsoNq/2pUVszukzPKf8rqFw0qPmnrvymaFHazylTgP7GexTxbo1NzGOzlV NKXcXvHuNDMVf5DbG1Cau3kjpMuvLjZPCXcw489n9HWw6Lg+rqaxE5eCBi3dxO2Fzv V60H1yHu5tE4abX69SLLf1CMANydK+22zA2kfvpTAm2eUssiuStsK1ryR2WgE/uiUi BrYDKr6NWv9Numo9GGb/ceD9fe8WhymOgKa29/lEyUMR+5tQ5WZ0KFEIRzWXZpdeoT ErYR/tpLUQIY3pQqTNS0FdMwDJLNmezeVQLGi6QSjHhnJhi9thuiSV10UglOT0t/nz PM+E6T92HroljqyFNMyuRv/m+OtwAdXE/BIC3CkPRoVeO5Wd79cWZLGrx/oHa2NIyy 0JKWO9SI4Y0Rfxft7yR765VlbyLjgThLxDWrB6tOP2MzNQu8XRAkgbKBPZnt8qZ/9Q YYZdylSEhtLCzRO+/1Ofy0YcqLPOy3j6mZ6FCGmfCOa6GNuhQt3TUVnosmhK0qjLC4 /kklNEa7gHCNbBw5Tvay+47KUmCvmWpg1g3ydJXMgy2vPF/VOq4I3kUrSnfjrBQVa+ mmIiAfAh30EZEZgrXA72e5w4= 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 7B29414026C; Sun, 17 Mar 2024 15:59:13 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 7/9] gnu: ocaml-fix: Update to 20230505. Date: Sun, 17 Mar 2024 15:56:59 +0100 Message-ID: <7179db1261f9c46bd50d85b7a5656481ced64f6d.1710687421.git.ds-ac@nanein.fr> 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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-fix): Update to 20230505. Change-Id: I830801aca54a19b22c73ed48bf971e8d2235973a --- 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 cfb9dbf64c..07e3bdbc2d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8702,7 +8702,7 @@ (define-public ocaml-uuseg (define-public ocaml-fix (package (name "ocaml-fix") - (version "20220121") + (version "20230505") (source (origin (method git-fetch) @@ -8712,7 +8712,7 @@ (define-public ocaml-fix (file-name (git-file-name name version)) (sha256 (base32 - "15785v43jcbqsw1y653cnb89alrcnbdri1h0w6zl6p7769ja9rdj")))) + "08yrds41ybyw25fjqcfdjsd78f7d8hik1sbs90iv80ga8fj3iv2y")))) (build-system dune-build-system) (arguments ;; No tests. -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:27 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:27 +0000 Received: from localhost ([127.0.0.1]:58719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzu-0002Fa-RF for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:27 -0400 Received: from nanein.fr ([185.230.78.41]:52090) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzn-0002EM-Ob for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687554; bh=wj7mAnlVy6uJdXg/pW6o6E3itfpMMOtv7UMq5vM3i0U=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=CsyfqIc3wqT/EnpbBxQ/d1fLTkeM5VPtJIgc7Fa6JOP6ZpNk7Kjtt/dElpFyVG+rf NxEwXA9b/XnDbldsSfhcofWeYdDJVAktFfzEVFGLTlBQbPFfMicOytPZOun9hhUGpz 9lZdXqYx8Ki2OVXL+BM3T6afifMeHIRuq/iHbZJ4JMTz3x7XZlTRNYc73NLxV6g7mn +fvPX9FR1L5fCgHlY+TSWFWJ4zUSncgqdBjenAYdQnDGm/Vn6dO6jIeNEG0cG7dx0e o2lD0z3MfNwbPREIvD2G401wk0hV8l+OM/t3aL1udULhpd+on9MqvVpkhbeUZ/87Xw LhB4SnAZhvxOXW/KEF8MXko5C2YFDiKo/pvTM64EFzYPKzDmc35QyLLyjo6UDjSAFS 6qw4N8u4RCuwZXoslHvXnz1gs7YHQqT/hKA+SysbHIAuhvyOCc/OevBq50AhBztUBu jSBDx3DhdjPxkiJ881jgvSMURO2PETYyLyteQ0/eLj3k7l3a/Cx5M1vV2PxZun5HkF A4aMiamkSsJ1zLl5uAp79r26BZ7GH5sN0RgfouFGzZbA6yUW+jb54MzRaRFZBhnVvX hRdtGceajEeI7YoWvOckSzK8wPSrHMdeo3kvvCcd77RA/Ni52Ee16PYOHorLI08njE 5opgqPGF0/Ma2hYt8zcyFbEI= 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 F1CEC14026D; Sun, 17 Mar 2024 15:59:13 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 8/9] gnu: ocaml-monolith: Update to 20230604. Date: Sun, 17 Mar 2024 15:57:00 +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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-monolith): Update to 20230604. Change-Id: Ib1777020d01b0eb461b27c418b742b93de38fb90 --- 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 07e3bdbc2d..71e1d9119c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9159,7 +9159,7 @@ (define-public ocaml-afl-persistent (define-public ocaml-monolith (package (name "ocaml-monolith") - (version "20210525") + (version "20230604") (source (origin (method git-fetch) @@ -9169,7 +9169,7 @@ (define-public ocaml-monolith (file-name (git-file-name name version)) (sha256 (base32 - "1b6jj4ivl9ni8kba7wls4xsqdy8nm7q9mnx9347jvb99dmmlj5mc")))) + "1v6hd67pzb23hadl6fybr1mihw7p79g2r1bf4gs1f2igyavw798h")))) (build-system dune-build-system) (propagated-inputs (list ocaml-afl-persistent ocaml-pprint ocaml-seq)) (home-page "https://gitlab.inria.fr/fpottier/monolith") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:27 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:27 +0000 Received: from localhost ([127.0.0.1]:58721 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzv-0002Fc-6i for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:27 -0400 Received: from nanein.fr ([185.230.78.41]:52096) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzn-0002EP-NC for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687546; bh=qM9ivRNpHSXaKT5Xhtj847MIHSaf1XhYZbfQ1EeUKmI=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=j/wCyCpkw9z83WmcAcrwBXfQY1xXPafXwWFTb83A2b85pWb7rWLXuO3z47SR73t6o nGUxwR0ttZoUSOuhXOZ3Dp2ACSA8LHojYgtCJCN2yyXyUqZEKj9JNyQ3LUrr/3xPEO WLk8uP/IRsptD7xtm/UfBNZZkCzug7XrOz076ttIAEedw/WB60LWRzh39froruqnY8 en+Wkrmi2YV7kqSTAWQLzpJVsOT26aSFZbigv4+i57h8ekrjm4um0/ZzDFy9wygFrc 3nZMsGemn3cLv/xG9Wqp40Rz1dIZlcRJ6Y7AuXr7Uo7gX8pddv+UCjeOBKe80+Sa7z Z3G+bCikfyl9caK7i1OsUcM0C675SJMrNnobEe6lTVHyYKq1/+537aVsUa2kkYGYkJ vdXrYklIwvYQb1BdpDxn4g02D6j6hPeSe4jSktvD3zruePiHmyeuDqO00RLHcCbbuM 1oCvgXsxvd3io3fL0Qhkpn49tIqtL1NiURruxHSlm9sLeaz6Lvu99n/b5KC0ePnGNV frbTyIUvoYMcw7wRWvgG6WTXd4OnP6SsKyipxcUmtp0Ppcx1D6OOBmqeWLKYmg87lc PwyKd3l95Ts5BNAqVC67Dh4Fnx9lwTZysOJf1p2q60HQnEXpbbDXU0joC9LPIcw9TX AL/+TUT4lgt9/mh/MGvsfXfU= 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 81EF6140267; Sun, 17 Mar 2024 15:59:06 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 2/9] gnu: ocaml-opam-file-format: Update to 2.1.6. Date: Sun, 17 Mar 2024 15:56:54 +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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-opam-file-format): Update to 2.1.6. Change-Id: Ida2eb373aad3b929982219838b6c6d8a476c5992 --- 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 7d7c6826f7..a147daafd7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -810,7 +810,7 @@ (define-public ocaml-down (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") - (version "2.1.4") + (version "2.1.6") (source (origin (method git-fetch) (uri (git-reference @@ -819,7 +819,7 @@ (define-public ocaml-opam-file-format (file-name (git-file-name name version)) (sha256 (base32 - "0dmnb1mqdy4913f9ma446hi5m99q7hfibj6j0m8x2wsfnfy2fw62")))) + "0s2wv92664prpsgc3fcrif72n1fyfp8pzw3ywlz47xkxh0qnkbr9")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; No tests -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:28 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:28 +0000 Received: from localhost ([127.0.0.1]:58723 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzv-0002Fl-HN for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:27 -0400 Received: from nanein.fr ([185.230.78.41]:52084) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzn-0002EL-P7 for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687554; bh=SC7T58YQhL9u8QL6+pODAxoXogH7Q4NNH1xIcEoPhc0=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=V0WYRgIZQleeLxqU6rI2FoeVtctpb76eZZxb/Hc4hKOpNw7oMakrQFj2j52yKZpio DelUP63DiNDlcM3Ml830Gml92veETj/ftkktcKHEdsj5wCiiGitAaUhIgrL8T1RLgk 3GX8aNK9NbctJ82VT8cbdY+uXeApV6ggoSy2p9kwBjLaiadhaks/Qesk11wfhEBnj8 vwQhGJcTWUI9MwNEagpxQO+TLM7/FV822VSKf58kjtieJMXSkHAi3/KkVS5uguSfts MMzaEt/gchn5jLIgswkSKBtwutUgFEY9vDU29QGHLNkB4H+fCHaP5ta5DYbDkVq4yH FW4uCs8yzuMt75QjcFBDKho66y8uaLcY9B01esu5890FEuBQ+v44WYOuop/ckwdYIN 42PfZ2k/++KfFL6aNu/vAdbsdsAkqFYSsuF/BePQ4uuIqWrXqGx0CYVRXMoqXFknU/ fo3WZ5sphknWHkELiq2R9XEXmD5LTcoGuKN/QIbqfy1Cd511ENJgFTvw/9SM+ORi1V Kd6tut+tIflzAFW9xzcD/SuMcUd1xV2CQ3Hd2ClaA6uPL5pKo9UDh1jz87MQh9HLYC 0w95rT7uT0YSk4ON71R9iFtWogGmbWWts4+Xfog1jBCrV+7gb6TuXctE+XXcJNQrQI HbMQ+IrApQizvBiYS0/7Yp6E= 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 7000B14026E; Sun, 17 Mar 2024 15:59:14 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 9/9] gnu: ocaml-pprint: Update to 20230830. Date: Sun, 17 Mar 2024 15:57:01 +0100 Message-ID: <4da338b95a85cc7e90bd96b744e3b553d98e7f4d.1710687421.git.ds-ac@nanein.fr> 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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-pprint): Update to 20230830. Change-Id: Ifca4afb58fdc9dbc5a66dbdae0be16dcbef7abfa --- 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 71e1d9119c..6ec1d11ca8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -9183,7 +9183,7 @@ (define-public ocaml-monolith (define-public ocaml-pprint (package (name "ocaml-pprint") - (version "20220103") + (version "20230830") (home-page "https://github.com/fpottier/pprint") (source (origin @@ -9194,7 +9194,7 @@ (define-public ocaml-pprint (file-name (git-file-name name version)) (sha256 (base32 - "09y6nwnjldifm47406q1r9987njlk77g4ifqg6qs54dckhr64vax")))) + "1802ziwlwi1as97xcv7d41s08z1p9mql7fy3ad6bs210y3bgpxva")))) (build-system dune-build-system) (synopsis "OCaml pretty-printing combinator library and rendering engine") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:28 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:28 +0000 Received: from localhost ([127.0.0.1]:58725 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzv-0002Fs-V9 for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:28 -0400 Received: from nanein.fr ([185.230.78.41]:52110) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzr-0002Ea-2g for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687549; bh=relLALAsSTBUmBUmdQ7gDetMkUXX4E9RtO3z6DcyCdM=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=IU9/k4jsVJdpprfiQxCy4SBaQbosVHcB+tjDqKAWBwP7DvdbRrraw33nsh3EVNP/f A9SCQdoxW+w3nZwLIZ/oBs0xEieTq/a+eo6qcFx46tg6T6e5ypKt8EsdlLXURiFOhJ XCQSlQvsaYFbY7VcTZBhSFy79tidSCbc//vZum8dPZPxS8R4jWbtsM+tX5lPZxpH4V UxtNbOP615Wq8DZtYxQkTkMWJrXPejNGU/RgT+qxZPOktSs2Q1cmB3YImrWW6Kc7WM ADOQxXSMGpkCN8m5YTz3dHOpUu5Naa8TTnSrqUxmGem0anCs37o4m8dMnADCalVyKt m2mnQ4/zMSoSFtrAKbNopKGiXtWJSgLUxVxOkBB5ExJd8K7yFH8tQFjpZY3NbSK6p0 ou5ji87pcE4VhiEkoNkTtOSv0oj6QRpWbMS1wSQ26k0q7U8lMUpEZ2HDAfo3bfeyRY J4zlwJclfxxkxYi+SD3Q97zLecggWjgXfanHD0NrGx8rvPOc3k6S3FD53uoimRBRqr +3fqQxdp6JoJemYcDB81nlEfLNycXBa9KoWcF4ZjLJuW51oPTH5gkhHrxMwnuja4Rq fTXfjB3OeBWIlS08Z7HXegV6aFfHDCcyBCmlolBEY12+5NhU8AyX/F0XKJCyF6ob7Q qlvkAfPPRJrABNLxX90Hhg40= 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 C4F97140268; Sun, 17 Mar 2024 15:59:09 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 3/9] gnu: ocaml-opam-monorepo: Update to 0.4.0. Date: Sun, 17 Mar 2024 15:56:55 +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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-opam-monorepo): Update to 0.4.0. Change-Id: I12cd15b63adce4dabf295f77fc3e858feb483bd0 --- 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 a147daafd7..8fde7d1dc3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1110,7 +1110,7 @@ (define-public opam (define-public ocaml-opam-monorepo (package (name "ocaml-opam-monorepo") - (version "0.3.5") + (version "0.4.0") (source (origin (method git-fetch) (uri @@ -1120,7 +1120,7 @@ (define-public ocaml-opam-monorepo (file-name name) (sha256 (base32 - "09lq788b1sai4v1nxd16b00pw0m55plcwrx3f9v5a90gpxg0a6sc")))) + "0qmk3kbkir62kyz9dvrinxrcvinp5hhrwqr8pi2ml268fdmvhy9p")))) (build-system dune-build-system) (arguments ;; TODO -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 17 11:00:28 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:28 +0000 Received: from localhost ([127.0.0.1]:58727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzw-0002Fz-9z for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:28 -0400 Received: from nanein.fr ([185.230.78.41]:52132) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzt-0002Ez-Mk for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687552; bh=1dFAsTmhFr/F43g67TEEo9FwAVTcmafoTiFxWSUuLIU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=fP15tG6oWHVsqKIMzrUS6UcpsYd/LN9nD7O29gRBod0tALhKnBYD55bE6Zd1HU/TM i1p3bVb+q0fObq3YUPlUQXBrIO2jAgPzAf/IdTYeHXCBi39Qhoipy8PpacEFcSSkG9 J8OkQVrkyt9e4pDTcmYR/xOOdelaTtkVAlzjFSxYwQ89mOC+DkiFKJ5t+Sge7nesM8 HW5N6iDzCCx6KalVrFnWYf3xQZBjHTFgcjXnHmI5MUMNSfBVtW1u1Pd+vw4DzOnXfD JBEMo5CECkJasK0YBusWiewmR5HZ1tWy82737JXSSz8YS3OsHkFpufNnm1/chTHaNd vXn4Y/DA0x0x7iBU27kHDc1TsCy0c5Mf2x3eTktRMSr/tW6kM+Z9LtQQsv04uypf7s wxlAX+QzQY0sxjMBzkmTC8+95xGCYK1Z77QdQ3EfeBIy/Fkk0KEyJh/3E9HTBK817v KzeZzYtRsWM3BKD+yh5mkfmiof1hEK7VfHrWXlI9nSieX25320jDQPxRHqR+RSx7fe UedUOrdwSezUCYZbdqUWrbNpxS98+E6MiozghmYG6Ry/5LUM24E4PVPw/bslO0FLb9 AXOR9Qvaglqi8q/+XlP7+EvG9R6jmQPy78MyeBoBliw5MuOe6UaAE8r/tQVoqmnyZ4 AJGApBqCZ5YwB/ZOFAKu3DEY= 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 8215114026A; Sun, 17 Mar 2024 15:59:12 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 5/9] gnu: dune: Update to 3.14.2. Date: Sun, 17 Mar 2024 15:56:57 +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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * 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 11:00:42 2024 Received: (at 69847) by debbugs.gnu.org; 17 Mar 2024 15:00:42 +0000 Received: from localhost ([127.0.0.1]:58729 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rls09-0002GX-LT for submit@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:42 -0400 Received: from nanein.fr ([185.230.78.41]:52124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rlrzt-0002En-83 for 69847@debbugs.gnu.org; Sun, 17 Mar 2024 11:00:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1710687552; bh=G45CegBpaUpdgYCU41ud5Ks6tgbKUrhqkzg6RdwYjCg=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=BzOzDUkxT74FxqU9ws6QnLqQoT++iMn6Wve3+JdXCHdR9DHwyvJmoDO8IBR/GE8Z6 pU7OadmOCfc0cVEXBTEMOx69LmPhZLLju2hD4WOKoNey9Gu3jsx5MUDhmsKaTkQBW0 Aw6NDef+NDe/5uxrDUFSvQe/T44lsSuYyofSB54NQL5skBga0CcQWRPAdI+Eo4l+5O ViqmXuKHKswgrQvcHZPk6e+Q4CA1ZhqNmrifI7Mh92N/7Lt0kuu5V7yapMWLk8Snub r6EHCOFlSWtN0AVZ8y35Mt+32bVYBVda+pYYZCkevXzhItYVNil9pG8g2T8rFXfSYn plrzNFk+8IrRvtBC9UjjocYOcUWsQ/e8ddHV+umQlvx3pPJEILj3icfi7h32C2D/E/ SPeEAFpNybJhWqM6qX/pUoomZF5IEU5MEu088k/+ZZbkZwZeEOeG+Kt2riGn2b4FG9 2y3zQsoGCxw57BkjrurYLOABjx8ku4lu+SCeaDghTr0fkGTK66HwpuUU/d2sJAFIEW p4Y/Uk6rQw2LeqL7nR2zmpqoO3squUfqaHp6jY++Apts0Y+XI6gkH2DjghAsPEo3vt 6dFJ76kJbcQYBSFycXblchQdjJ80UBoQJ2ioBLe/aIqKM+lAaOpWsut3X2+b7lBKtK f/hwoxpi64b0RzdrULBygKlE= 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 0E100140269; Sun, 17 Mar 2024 15:59:12 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847@debbugs.gnu.org Subject: [PATCH 4/9] gnu: ocaml-cmdliner: Update to 1.2.0. Date: Sun, 17 Mar 2024 15:56:56 +0100 Message-ID: <34fbde7607f5cc35c04d80d01f883637545d3d8e.1710687421.git.ds-ac@nanein.fr> 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 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69847 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: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.2.0. Change-Id: I1339d4bbd6b09800a8597f85b4bee40db0dd4ad2 --- 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 8fde7d1dc3..640d36b971 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2635,14 +2635,14 @@ (define-public ocaml-calendar (define-public ocaml-cmdliner (package (name "ocaml-cmdliner") - (version "1.1.1") + (version "1.2.0") (source (origin (method url-fetch) (uri (string-append "https://erratique.ch/software/cmdliner/releases/" "cmdliner-" version ".tbz")) (sha256 (base32 - "1yxm4x34cbi06bfld601ds9drlbnyx0797ym3n6yyh4rlz1qgbm1")))) + "0y00vnlk3nim8bh4gvimdpg71gp22z3b35sfyvb4yf98j1c11vdg")))) (build-system ocaml-build-system) (inputs (list ocaml-result)) -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Nov 19 15:47:37 2024 Received: (at 69847-done) by debbugs.gnu.org; 19 Nov 2024 20:47:37 +0000 Received: from localhost ([127.0.0.1]:44205 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tDV8L-0000sS-GB for submit@debbugs.gnu.org; Tue, 19 Nov 2024 15:47:37 -0500 Received: from nanein.fr ([185.230.78.41]:46982) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tDV8J-0000sF-OX for 69847-done@debbugs.gnu.org; Tue, 19 Nov 2024 15:47:36 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1732049219; bh=DA9d7/LVkgSn9SYYxIfd7at1kZvwm+bj3po2pzPsBZI=; h=From:To:Subject:In-Reply-To:References:Date:From; b=eOl9TIdGodTE76aIKdJiS/l7SVwxuHFYVFbOBtnkEL5e/1/Fo85zIo0fG2WYrXZ2W cItBenEXhVTGAUjuzvK/m415gYeKEFwiYx1j4dR3GFpvmK3hnmrvL8Ds/SW5BGLUPH horoo7YOar7EQ1D2HE+v5O0vugVAsWaTWNSRSeaNZ3k0lF5GZxakZNgFCUQEzf9PLj sSCpTBwT7JpRGproHkFZ5U5pPMq+vIrEHFLOHfKKS3iWQB+XefLcuIExtN/UHD10I1 KYgy6r0lGHogW5sjSwGgBtjRPx/ZIBh8fs9fbM9I6jiTrZAbqPuHCNtijCRmFTIYz8 Yhq8sSRn/3uGuTYLXMeSxqVYWUbZ6/6HO6E5fPIZfWxjz5MDV5996GSqaqalBUmAnT Wz7NoWYdRfapBFfSokVgMvSa2wmC5VQtVoRKdYNqjiYUG2LvXD7Ujk9Bt7D1Vs+7VC es463pAla/FxMRaZFjoyf4rOe/OZsaMCJH9wCmJ3e3GE0GcZKUHhO5rSxE4Nvj/Jf3 WuMu6a3D3ED8FjycNS/o8Rl++urGm6Lx8qhurY+NapwelO3C6g2NVhRA0T8JLHG4M/ pkuheFz/MxM1fTwAXbLxNL257iUMo4x3bzJ3CKdvBWzDuXBl+5jUqQQQEyfjA0GGoA C84qb1vt5MHtLQUV8DzYY91Y= Received: from cochea (wg.nanein.fr [IPv6:2a0c:700:12:50:1::109]) (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 2A16B1401ED for <69847-done@debbugs.gnu.org>; Tue, 19 Nov 2024 21:46:59 +0100 (CET) From: Arnaud Daby-Seesaram To: 69847-done@debbugs.gnu.org Subject: Re: [PATCH 0/9] Update a few OCaml-related packages In-Reply-To: (Arnaud Daby-Seesaram's message of "Sun, 17 Mar 2024 14:56:59 +0100") References: User-Agent: mu4e 1.12.7; emacs 29.4 Date: Tue, 19 Nov 2024 21:46:47 +0100 Message-ID: <87cyirlzns.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: 69847-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 Closing this issue; it is outdated. Arnaud Daby-Seesaram writes: > This patch series updates > - OCaml 4.14, > - Dune, > - easy OCaml-related packages. > > Arnaud Daby-Seesaram (9): > gnu: ocaml-4.14: Update to 4.14.2. > gnu: ocaml-opam-file-format: Update to 2.1.6. > gnu: ocaml-opam-monorepo: Update to 0.4.0. > gnu: ocaml-cmdliner: Update to 1.2.0. > gnu: dune: Update to 3.14.2. > gnu: ocaml-menhir: Update to 20231231. > gnu: ocaml-fix: Update to 20230505. > gnu: ocaml-monolith: Update to 20230604. > gnu: ocaml-pprint: Update to 20230830. > > gnu/packages/ocaml.scm | 36 ++++++++++++++++++------------------ > 1 file changed, 18 insertions(+), 18 deletions(-) > > > base-commit: 9daf074a7a9ea77017622b2b244e3a2cdc6af7b2 =2D-=20 Arnaud --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmc8+TgQHGRzLWFjQG5h bmVpbi5mcgAKCRCiMspegxOIDAIUEACVX3JV7ZhwWoa49j7ffh8I1Eosq/s07Yvr gqvoSUEIZvBrmRSKkTqHLybnwV7MjuTxZvTSCEvi0Lh6lVhxm5thJ3dmLa4UzZNR iMPqDRtgHCbLOriYk+L/EA4s4mWv7nKj9g/+/kOz0nGBw1u5d9syTnn2+ynSZe4x alIKRazN8m7nPNGZ1qJo0/KCqzfCyBd8bBqv1cVnItDHt7WD6ZtAIaigWOEe11GF I0Dedog3JawH0bKNRka7njfgPT3WBzt2Ld7ZtTdjiTDcCZ45Q6Lld/8ulcQ4gmfK GqBCQ4cOMrKHLxjMbxyLk47oSKvt5lGmMNrMJTkRkI0eGO9CFdn3q+xJpAxCemSv ciE5sVry0cSk7HwEcOJfceTk6rzxcooPOSubJs8oOFksv+KKZcTsS6CuqBnjmnl0 XO+novvWflEwrmSYjLckDldZQv4NUBBhJIOQWKkQeHgGaJnYESHrD+jadCVbIJs5 H30JwSXrOynq0TrxpDaH/zayj/w6sfnoND108jlJV9tlKPYP4OZynvUykV5Butar wUjk31F619OAQxLTqjiXDpIXj4/u8qpR4r+5knuHn28ejWT9eu9/u82BK9LHBH/s zByJ3C829MRqHjhtDYM31008LFD7i3D77td6jIClOwJ6+bX/44k03E5evkfKpRfy jPd43cyiuA== =uqRp -----END PGP SIGNATURE----- --=-=-=-- From unknown Sun Jun 22 11:41:06 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 18 Dec 2024 12:24:12 +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