From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id EH9VID4av2P/kwAAbAwnHQ (envelope-from ) for ; Wed, 11 Jan 2023 21:21:18 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id wPt5Hz4av2NuKQAAG6o9tA (envelope-from ) for ; Wed, 11 Jan 2023 21:21:18 +0100 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 485A922490 for ; Wed, 11 Jan 2023 21:21:17 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pFhaW-0005m7-1F; Wed, 11 Jan 2023 15:20:44 -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 1pFhaT-0005ls-JT for guix-devel@gnu.org; Wed, 11 Jan 2023 15:20:41 -0500 Received: from lepiller.eu ([2a00:5884:8208::1]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pFhaQ-0003K9-Jf for guix-devel@gnu.org; Wed, 11 Jan 2023 15:20:41 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id bfb46e45; Wed, 11 Jan 2023 20:20:29 +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=o6rQhyXLWuO3 6FmyRkUX3b5l1eyg/8Gp5xysmMyO8/U=; b=CALHKZPHIPZ1phYgrD4qSfPNx2Kr BEipv8sz69i9EKN0zjWFSl3zRbN+g5dag82O6QJlVdygqJ5CAfSUJ+Sl5y8hSiQY 4Uov6yiOqj6+Qu0Z9qWTKsF8Yyx84OqzyK7pLNoH4y5X1Of6GNmj+q2HQ6+RLEKc WKtVsnyz9CHGfG+PFKhrRbpb5FoMPlX3tXXofTJV34WpQMS3Cpi5KiZbIjME74u3 rPQgvw64ZCI+I/qCHHMEDerGVzkrDrwX39kzJrKVn1X5h43AU8FvGv2wPcWqZeEE c84x4s69C/WEkkQT7s3GYCyVVZ/y6Y48PGvoI9l0PBA7nvXbcM6S5oHhmw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 5220b948 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Wed, 11 Jan 2023 20:20:29 +0000 (UTC) Date: Wed, 11 Jan 2023 21:20:27 +0100 From: Julien Lepiller To: Simon Tournier Cc: Guix Devel , Subject: Re: Time for ocaml-xzy.scm and reorganizing OCaml packages? Message-ID: <20230111212027.163f1ea5@sybil.lepiller.eu> In-Reply-To: <861qo051t5.fsf@gmail.com> References: <861qo051t5.fsf@gmail.com> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:5884:8208::1; envelope-from=julien@lepiller.eu; helo=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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1673468477; a=rsa-sha256; cv=none; b=Ov306UQke78RU0I679ata49EeV5BfGBRIa2tBc3wRCWZscLTpz/UrGaKzoXFX9zqcnp+i5 dMYqzItFWldOBa8EqIoyooGgT+mxUQp6LmmkF4oe4dzCzlrB1v0CDRUs8n0OYQpK96ohAA g/0blIc35fhVvDCmB+Ao4pHcgIvyK6SQqyhcubtODheZztzoglVWUhskqjc20wmwVSSGxo jPdqj8ugzeUoTWl74gS0Jvu8Df2soXVFkhLptjOcvf0e8rDlhulXV6Xg3t6usmeF6g1xPC fl5Q16Px4fMRyNvCqWF66Or20h5d33Z8ckfyiUfiRzPD8KvIltPbalZJxkRJdg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=CALHKZPH; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=lepiller.eu ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1673468477; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=z0uRKuAI1D2kSQm7Urwor0reFgDkczhx0o0vAAfWwzE=; b=cf8G2WKBT6E3fz43nEHuifns58bxOuw107LDxD36zN19ZBA2TE/EsoqGzxvQmZLQ8P5ZTk 3dvd2zlZQCUvczbnoOT5ER6EGd06VO/0FZD0gQ6l9T/iCpNQ3U4ogzcr7eQjRwK5jObjQx T+FtwiG+GFk2GlbN3Dz27dFvas/uzSnQorRX3rpxCASlVv3jbcxU7sb/SJo3jXeuMXcIUa Wk5J8AnDpYw2fvtGqMVFY7EoLt1PgMxUKI3/511FxCA9lq72Ay9bUy+AG48gTqgkSjLsOr QyYJjh+dg09UNjuZk1wpHtYL/1WHUlgkjShuYz34LTShJQe5d0iG8s12890Wbg== X-Migadu-Spam-Score: -5.26 X-Spam-Score: -5.26 X-Migadu-Queue-Id: 485A922490 X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=CALHKZPH; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=lepiller.eu X-TUID: Rw7xlyTTQUME Le Wed, 11 Jan 2023 20:05:58 +0100, Simon Tournier a =C3=A9crit : > Hi, >=20 > Maybe it is time for ocaml-xzy.scm. :-) >=20 > Currently, the file gnu/packages/ocaml.scm contains 315 define-public. > Maybe, it would make sense to have: >=20 > + ocaml.scm for compiler and essentials (as ocaml-findlib or dune) > + ocaml-xyz.scm for ocaml- packages > + ocaml-apps.scm for standalone program written in OCaml as unison, > ocamlmod, etc > + ocaml-legacy.scm for the old ocaml4.0x things >=20 > WDYT? Sounds good to me. Are you planning to work on a patch? >=20 > Well, with the question of the new ocaml5 thing. :-) >=20 > Trying to package some OCaml, I note that the OCaml package named > camlzip is not prefixed with =E2=80=99ocaml-=E2=80=99 although it can onl= y be used as > a library, IIUC. >=20 > --8<---------------cut here---------------start------------->8--- > $ tree $(guix build camlzip) > /gnu/store/r7p7azlfwrjs5c6kbwb50pvlqxi4k776-camlzip-1.11 > =E2=94=9C=E2=94=80=E2=94=80 bin > =E2=94=9C=E2=94=80=E2=94=80 lib > =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 ocaml > =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 site-lib > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 camlzip > =E2=94=82=C2=A0=C2=A0 =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2= =94=80 META > =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 zip > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 dllcamlzip.= so > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 gzip.cmi > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 gzip.cmt > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 gzip.cmti > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 gzip.cmx > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 gzip.mli > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 libcamlzip.a > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 META > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.a > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cma > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmi > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmt > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmti > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmx > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmxa > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.cmxs > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zip.mli > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zlib.cmi > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zlib.cmt > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zlib.cmti > =E2=94=82=C2=A0=C2=A0 =E2=94=9C=E2=94=80=E2=94=80 zlib.cmx > =E2=94=82=C2=A0=C2=A0 =E2=94=94=E2=94=80=E2=94=80 zlib.mli > =E2=94=94=E2=94=80=E2=94=80 share > =E2=94=94=E2=94=80=E2=94=80 doc > =E2=94=94=E2=94=80=E2=94=80 camlzip-1.11 > =E2=94=94=E2=94=80=E2=94=80 LICENSE >=20 > 9 directories, 24 files > --8<---------------cut here---------------end--------------->8--- >=20 > Moreover, =E2=80=9Cguix import opam -r camlzip=E2=80=9D returns, >=20 > (define-public ocaml-camlzip > (package > (name "ocaml-camlzip") >=20 > Well, therefore I would be expecting ocaml-camlzip to be consistent > with the Guix naming convention. And with this large > gnu/packages/ocaml.scm file containing all the OCaml related stuff, I > am guessing that it=E2=80=99s time to reorganize a bit. WDYT? We can rename camlzip :) >=20 > Cheers, > simon