From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 6JLlA3BliWV0ngAAkFu2QA (envelope-from ) for ; Mon, 25 Dec 2023 12:20:16 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id 2Ew4OW9liWV8NQAA62LTzQ (envelope-from ) for ; Mon, 25 Dec 2023 12:20:16 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=QzC+iuXL; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1703503215; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:list-id:list-help:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=iu1XeaTpFctwuAseopIz0y4MTHYlVI0rMxrQpB6sGFE=; b=F0nqMgyIdC0vi6TDjS09XOazJ1kHTR9Ifp1VDNB+oMwVECjPQsgvcX05j8UCUqgvka1w/h fPE8Oe7nIXWnZpwEyxYevDmUmo406/95ii1Y1RiDMXeqE+EJqcN+DCmjH8q+5Cv59OziVA /t4ATfbFyydRlydzUx/otFsTR1cyn/Gdm+uNWXjSXTpNdQPeUV0zlpGPyE/qo8sTmyJY6Q I/QVwMHqQOYJm2PL/JdnLH9pbKvod3wwkx6DxFQXE+Iy9y4lmmCrjU9lCjBSEFowegzYa0 njLpCCtNnFDUPLNI/x+IrgcU9Y4UTnHgA5SgD6KqqDB1ajnxyXj2Kvlbtu9HdQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1703503215; a=rsa-sha256; cv=none; b=ulbMXTaAqfHePhTgkO2Hx3p0ZlFBzdcMjI2GefTj1oLm17FoqJYAQeuMpw9udUXj2W4jou QcY1teS9nY9QkqxLm0osMBpjycCCgRTCCRSnYF6qPZ+dU7xaK6VdgKOUjPyIO7EX7TxeOH wvEYORPMxIkQHuFACjVarn/LqF1ck/B3cXeSo+NIOUrosg4eDZWvzYSxZaDF9QKasgkZGL 960aqN9998tUNv3ld4z0KH0zhhViZUwlyOdk1eynC/QxSxeDzNLQYd8Im3lrRrbC0ggg7b Zz2ciG6nqFqFS2dvXVTd+2sksPoWLbyH+2mlRVw5teMs/VWPjeBuGu/c9ne7Lg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=QzC+iuXL; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none) Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 50960611E7 for ; Mon, 25 Dec 2023 12:20:15 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHj02-0003K2-Df; Mon, 25 Dec 2023 06:19:58 -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 1rHj00-0003Jt-NN for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:56 -0500 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 ) id 1rHj00-0003w2-7o for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:56 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHj06-0005Lp-HH for guix-patches@gnu.org; Mon, 25 Dec 2023 06:20:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68024] [PATCH] Remove ocaml4.07 packages Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 25 Dec 2023 11:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 68024 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68024@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.170350317420529 (code B ref -1); Mon, 25 Dec 2023 11:20:02 +0000 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 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -5.14 X-Spam-Score: -5.14 X-Migadu-Queue-Id: 50960611E7 X-Migadu-Scanner: mx12.migadu.com X-TUID: 4E5Lvku8CBQt --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--