From unknown Fri Aug 15 12:54:03 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#68024 <68024@debbugs.gnu.org> To: bug#68024 <68024@debbugs.gnu.org> Subject: Status: [PATCH] Remove ocaml4.07 packages Reply-To: bug#68024 <68024@debbugs.gnu.org> Date: Fri, 15 Aug 2025 19:54:03 +0000 retitle 68024 [PATCH] Remove ocaml4.07 packages reassign 68024 guix-patches submitter 68024 Julien Lepiller severity 68024 normal tag 68024 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Dec 25 06:19:34 2023 Received: (at submit) by debbugs.gnu.org; 25 Dec 2023 11:19:34 +0000 Received: from localhost ([127.0.0.1]:54056 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHizb-0005L0-Jc for submit@debbugs.gnu.org; Mon, 25 Dec 2023 06:19:34 -0500 Received: from lists.gnu.org ([2001:470:142::17]:37744) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHizU-0005Kg-Uv for submit@debbugs.gnu.org; Mon, 25 Dec 2023 06:19:29 -0500 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 1rHizI-0003HB-Fd for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:12 -0500 Received: from lepiller.eu ([89.234.186.109] helo=hermes.lepiller.eu) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rHizF-0003t4-57 for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:12 -0500 Received: from hermes.lepiller.eu (localhost [127.0.0.1]) by hermes.lepiller.eu (OpenSMTPD) with ESMTP id e7cefcd2 for ; Mon, 25 Dec 2023 11:18:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:message-id:mime-version:content-type; s=dkim; bh=LAH C//fIMv2G2RuW3W3QNFay4zwyDFbTIgfHhqMgnGU=; b=QzC+iuXLUX8oIwlmLnZ niY2q0L6IK1i8RBJJdxdgN9XpuFd39hW8NTS829iJkiGRd6b/oZ/71K0x3ZDC/mQ tsiXDroKF0BgrJGW/WhbrA3nENQNAIKaFJUikdRoqcU9zCrIrZtsyUrIsLgwc7v9 E4ZDbM/0tbUpKIMog05W13coqQT/HCW9uh6eB3m03XciqhulJ5a3mWTkewAKTwQD N5xvCkboBnWEw6g/UDCzDUBeH+OEEKTgYxhKZo/5svZ2eJV2m5H5A4MRz+M1pR6+ Eyv3HVu6zzSLk2ruZDonMgtc6ZMhxQbuu8Oj/25LamTOPEXVwrqJ1u6E8E29Y9iW mqw== Received: by hermes.lepiller.eu (OpenSMTPD) with ESMTPSA id 110feda8 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Mon, 25 Dec 2023 11:18:43 +0000 (UTC) Date: Mon, 25 Dec 2023 12:18:21 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: [PATCH] Remove ocaml4.07 packages Message-ID: <20231225121821.009eda51@tachikoma.lepiller.eu> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="MP_/zWHZ0.5T8=vcRnj++.koVP3" Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=hermes.lepiller.eu 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_NONE=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.0 (+) X-Debbugs-Envelope-To: submit 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: -0.0 (/) --MP_/zWHZ0.5T8=vcRnj++.koVP3 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi Guix! I created a long patch series (67 patches) to remove ocaml 4.07 packages. The series keeps ocaml@4.07 itself, as well as findlib and dune, so we can always build ocaml4.07 packages later if we want to (we might need to build at least menhir, that will be required to build ocaml>4.07) I don't think it requires QA, since we're only removing packages. Patches look like the attached patch. If you agree with this in principle, I'll push the series this week. I checked that each intermediate commit builds (no unbound variable), used guix refresh to discover a proper order (removing leaf packages). If you prefer, I can send the whole series. --MP_/zWHZ0.5T8=vcRnj++.koVP3 Content-Type: text/x-patch Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=0033-gnu-Remove-ocaml4.07-ppx-hash.patch >From b5a46ee697742820e68a4689c20e419b74b60cc4 Mon Sep 17 00:00:00 2001 Message-ID: In-Reply-To: <42ca866dca866a942d641f3d369ad9657b92294f.1703502940.git.julien@lepiller.eu> References: <42ca866dca866a942d641f3d369ad9657b92294f.1703502940.git.julien@lepiller.eu> From: Julien Lepiller Date: Mon, 25 Dec 2023 11:04:29 +0100 Subject: [PATCH 33/67] gnu: Remove ocaml4.07-ppx-hash. * gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable. (ocaml-ppx-hash)[properties]: Remove variant. Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9 --- gnu/packages/ocaml.scm | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ac2da9cead..bbcf97ccb0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6897,32 +6897,13 @@ (define-public ocaml-ppx-hash (propagated-inputs (list ocaml-base ocaml-ppx-compare ocaml-ppx-sexp-conv ocaml-migrate-parsetree ocaml-ppxlib)) - (properties `((upstream-name . "ppx_hash") - (ocaml4.07-variant . ,(delay ocaml4.07-ppx-hash)))) + (properties `((upstream-name . "ppx_hash"))) (home-page "https://github.com/janestreet/ppx_hash") (synopsis "Generation of hash functions from type expressions and definitions") (description "This package is a collection of ppx rewriters that generate hash functions from type exrpessions and definitions.") (license license:asl2.0))) -(define-public ocaml4.07-ppx-hash - (package-with-ocaml4.07 - (package - (inherit ocaml-ppx-hash) - (name "ocaml-ppx-hash") - (home-page "https://github.com/janestreet/ppx_hash") - (version "0.11.1") - (source (origin - (method git-fetch) - (uri (git-reference - (url home-page) - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1p0ic6aijxlrdggpmycj12q3cy9xksbq2vq727215maz4snvlf5p")))) - (properties `((upstream-name . "ppx_hash")))))) - (define-public ocaml-ppx-enumerate (package (name "ocaml-ppx-enumerate") -- 2.41.0 --MP_/zWHZ0.5T8=vcRnj++.koVP3-- From debbugs-submit-bounces@debbugs.gnu.org Mon Dec 25 14:04:22 2023 Received: (at 68024) by debbugs.gnu.org; 25 Dec 2023 19:04:23 +0000 Received: from localhost ([127.0.0.1]:55390 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHqFS-0006lV-JF for submit@debbugs.gnu.org; Mon, 25 Dec 2023 14:04:22 -0500 Received: from mout02.posteo.de ([185.67.36.66]:56827) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHqFP-0006lC-GY for 68024@debbugs.gnu.org; Mon, 25 Dec 2023 14:04:20 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id D6F79240101 for <68024@debbugs.gnu.org>; Mon, 25 Dec 2023 20:04:06 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1703531046; bh=m8+wQN9IMdiNhVxW2fEVMpWg3918OBWvOROyZFLCxw8=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=E2Ks1R5O2MTYEDIZKPAfWqVKiTAgrqoVc9IGLQskQwhXEO5cCWmFKJPTuieZMJ6mh 11zUZLGnh6rzjnrp7QEFRS2x0qnCiTFzKKKSqWgx2dyGDKkOoKfh/XbOT4RqurOr0F H2TVzUl1nPTvTg0exx5HeaHIfgaki0ZkAc0UcZRBV5ODbuOAE7xB0Fr/Mr32ZtSh50 qnA0g4SCw/MsXyQSsn1rsERCAbbLzIMFSved0cJyammWXH/v2nEXrnhThAmM9W0cMY uXYAaJNdZd+3JYRBYNi8UQL4nt084QLYf0qsLnvUC4HdhxO91lRpir85j7zekKL7jc OJPKdNy/yFi+A== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4SzS4Q00Wtz9rxG; Mon, 25 Dec 2023 20:04:05 +0100 (CET) References: <20231225121821.009eda51@tachikoma.lepiller.eu> From: pukkamustard To: Julien Lepiller Subject: Re: [bug#68024] [PATCH] Remove ocaml4.07 packages Date: Mon, 25 Dec 2023 18:58:51 +0000 In-reply-to: <20231225121821.009eda51@tachikoma.lepiller.eu> Message-ID: <86mstyrtnf.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 68024 Cc: 68024@debbugs.gnu.org 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: -3.3 (---) Hi! Julien Lepiller writes: > Hi Guix! > > I created a long patch series (67 patches) to remove ocaml 4.07 > packages. The series keeps ocaml@4.07 itself, as well as findlib and > dune, so we can always build ocaml4.07 packages later if we want to (we > might need to build at least menhir, that will be required to build > ocaml>4.07) +1 If you think it makes sense, you could also move the ocaml@4.07 to a new ocaml-boot.scm. But this can also be done later when/if we split up OCaml packages. > I don't think it requires QA, since we're only removing packages. > Patches look like the attached patch. If you agree with this in > principle, I'll push the series this week. I agree with the principle. > I checked that each intermediate commit builds (no unbound variable), > used guix refresh to discover a proper order (removing leaf packages). > If you prefer, I can send the whole series. Excellent. I trust your dilligence. Thanks! From debbugs-submit-bounces@debbugs.gnu.org Sat Dec 30 16:21:15 2023 Received: (at 68024-done) by debbugs.gnu.org; 30 Dec 2023 21:21:15 +0000 Received: from localhost ([127.0.0.1]:45152 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJglf-0000WA-98 for submit@debbugs.gnu.org; Sat, 30 Dec 2023 16:21:15 -0500 Received: from lepiller.eu ([2a00:5884:8208::1]:35872 helo=hermes.lepiller.eu) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rJglZ-0000Vv-1C for 68024-done@debbugs.gnu.org; Sat, 30 Dec 2023 16:21:13 -0500 Received: from hermes.lepiller.eu (localhost [127.0.0.1]) by hermes.lepiller.eu (OpenSMTPD) with ESMTP id fc75dda7; Sat, 30 Dec 2023 21:20:50 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=tYg61j2lA30J hJOHlq3KyH9PYSXLN/P0YhvQacPxUck=; b=Xuh4FM6JpP/rdmmqK824oP1pvSw5 Oe9DNBXYk1N9bILQrlaanjpOipOkX26rCDnU0slnf/mRIDP6uKXQm3GGeYYeqOF+ HbZGhGGL+FA6b0pK/7hKrsV4Z3EonvG7b9SMZq/gwrg+xNUwgoPT+qqFINgY/bXZ FGI/bfamrZ0/oHE66uy44uM35GVGjNDpVE+XvovKC3IoR5B4dJFZAV1MYUu4fS9y qbrCXMNjA8qCpWAxJcAfC4gDPa3sOyT1IWDXC82MApOnl/0r4t0uoNHMx4oVoLfn JkdBJBJNx6cepJVYx5yaDNwCLtMMO8wxZxDS64IpEYN/QvszeuMNnfLxUw== Received: by hermes.lepiller.eu (OpenSMTPD) with ESMTPSA id 4c7a8f19 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 30 Dec 2023 21:20:50 +0000 (UTC) Date: Sat, 30 Dec 2023 22:20:22 +0100 From: Julien Lepiller To: pukkamustard Subject: Re: [bug#68024] [PATCH] Remove ocaml4.07 packages Message-ID: <20231230222022.6ff31512@tachikoma.lepiller.eu> In-Reply-To: <86mstyrtnf.fsf@posteo.net> References: <20231225121821.009eda51@tachikoma.lepiller.eu> <86mstyrtnf.fsf@posteo.net> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68024-done Cc: 68024-done@debbugs.gnu.org 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 (-) Pushed to master as b8d1492647898d15f3367c868e3fc70524d8920d to b8aea26c4f45dfb34deefe980c6d6002d6aa12f3. Thanks! From unknown Fri Aug 15 12:54:03 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 28 Jan 2024 12:24:06 +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