From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: raingloom Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 29 Sep 2022 16:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 58174@debbugs.gnu.org Cc: raingloom X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16644700879055 (code B ref -1); Thu, 29 Sep 2022 16:49:01 +0000 Received: (at submit) by debbugs.gnu.org; 29 Sep 2022 16:48:07 +0000 Received: from localhost ([127.0.0.1]:39439 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1odwhi-0002Lz-LS for submit@debbugs.gnu.org; Thu, 29 Sep 2022 12:48:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:56698) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1odwhW-0002KN-FX for submit@debbugs.gnu.org; Thu, 29 Sep 2022 12:47:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59000) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1odwhU-00071z-OJ for guix-patches@gnu.org; Thu, 29 Sep 2022 12:47:54 -0400 Received: from mx0.riseup.net ([198.252.153.6]:43910) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1odwhS-00063f-HR for guix-patches@gnu.org; Thu, 29 Sep 2022 12:47:52 -0400 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4MdfRm1pw9z9sYr for ; Thu, 29 Sep 2022 16:47:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1664470068; bh=2LyByFSNgHrPdPUfx6P76mbn0yjuZbQti0tLGjFmf84=; h=From:To:Cc:Subject:Date:From; b=WttlLeKtaZ4Lo/rhd/VZ+At2c3K/o9fCBeF2eK2BQOVa+OMHYcDAZOvmkeMsMM1Qy 6XkpUDUA1Abv7StI5PBidec6OgMDooT/QiWC3/kRnrXY2fPTbyPElRBiQPTFi56zl3 GfkCTAj4HDcCmFk2Tr2rFW5r7FLxZkOB6Jk3wZUE= X-Riseup-User-ID: 3647500C05D3E118E2C6AE007FE80F140E2C0DC997D3D0ACD0D5E4049DE4BE93 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4MdfRl2Xtqz1xx7; Thu, 29 Sep 2022 16:47:47 +0000 (UTC) From: raingloom Date: Thu, 29 Sep 2022 18:47:16 +0200 Message-Id: <20220929164718.16973-1-raingloom@riseup.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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-mirage.scm: New file. gnu/local.mk (GNU_SYSTEM_MODULES): Add it. --- gnu/local.mk | 1 + gnu/packages/ocaml-mirage.scm | 56 +++++++++++++++++++++++++++++++++++ 2 files changed, 57 insertions(+) create mode 100644 gnu/packages/ocaml-mirage.scm diff --git a/gnu/local.mk b/gnu/local.mk index 0134fb53d8..2d2e8a3a6f 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -449,6 +449,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/nutrition.scm \ %D%/packages/nvi.scm \ %D%/packages/ocaml.scm \ + %D%/packages/ocaml-mirage.scm \ %D%/packages/ocr.scm \ %D%/packages/openkinect.scm \ %D%/packages/onc-rpc.scm \ diff --git a/gnu/packages/ocaml-mirage.scm b/gnu/packages/ocaml-mirage.scm new file mode 100644 index 0000000000..67514c4932 --- /dev/null +++ b/gnu/packages/ocaml-mirage.scm @@ -0,0 +1,56 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2022 Csepp +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages ocaml-mirage) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix git-download) + #:use-module (guix build-system dune) + #:use-module (gnu packages ocaml) + #:use-module ((guix licenses) + #:prefix license:)) + +(define-public ocaml-domain-name + (package + (name "ocaml-domain-name") + (version "0.4.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/hannesm/domain-name/") + (commit (string-append "v" version)))) + (file-name name) + (sha256 + (base32 + "1a669zz1pc7sqbi1c13jsnp8algcph2b8gr5fjrjhyh3p232770k")))) + (arguments + '(#:phases + (modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + ;; TODO -j ncpu equivalent + (invoke "dune" "runtest" "-p" "domain-name"))))))) + (build-system dune-build-system) + (native-inputs (list ocaml-alcotest)) + (home-page "https://github.com/hannesm/domain-name") + (synopsis "RFC 1035 Internet domain name data structure and parser") + (description + "Parses and constructs RFC compliant domain names. The invariants on the +length of domain names are preserved throughout the module.") + (license license:isc))) -- 2.37.3 From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 21 08:50:54 2022 Received: (at control) by debbugs.gnu.org; 21 Nov 2022 13:50:54 +0000 Received: from localhost ([127.0.0.1]:45822 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox7CI-0001Ac-Hz for submit@debbugs.gnu.org; Mon, 21 Nov 2022 08:50:54 -0500 Received: from mira.cbaines.net ([212.71.252.8]:41910) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox7CE-0001AS-R6 for control@debbugs.gnu.org; Mon, 21 Nov 2022 08:50:53 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id 6B5F627BBE9 for ; Mon, 21 Nov 2022 13:50:49 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 21debd19 for ; Mon, 21 Nov 2022 13:50:48 +0000 (UTC) User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines To: GNU Debbugs Date: Mon, 21 Nov 2022 13:50:02 +0000 Message-ID: <87a64kv2kn.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: merge 58172 58173 58174 thanks Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control 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 (+) merge 58172 58173 58174 thanks From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Nov 2022 13:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: raingloom Cc: 58174@debbugs.gnu.org X-Debbugs-Original-Cc: 58174@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16690387964781 (code B ref -1); Mon, 21 Nov 2022 13:54:01 +0000 Received: (at submit) by debbugs.gnu.org; 21 Nov 2022 13:53:16 +0000 Received: from localhost ([127.0.0.1]:45837 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox7EZ-0001F3-Qu for submit@debbugs.gnu.org; Mon, 21 Nov 2022 08:53:15 -0500 Received: from lists.gnu.org ([209.51.188.17]:43602) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox7EY-0001Ew-En for submit@debbugs.gnu.org; Mon, 21 Nov 2022 08:53:14 -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 1ox7EY-00073d-9h for guix-patches@gnu.org; Mon, 21 Nov 2022 08:53:14 -0500 Received: from mira.cbaines.net ([2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ox7EV-00039J-Hl for guix-patches@gnu.org; Mon, 21 Nov 2022 08:53:14 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id D654727BBE9; Mon, 21 Nov 2022 13:53:09 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 1a6549b1; Mon, 21 Nov 2022 13:53:09 +0000 (UTC) References: <20220929164718.16973-1-raingloom@riseup.net> User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines Date: Mon, 21 Nov 2022 13:51:26 +0000 In-reply-to: <20220929164718.16973-1-raingloom@riseup.net> Message-ID: <875yf8v2gv.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27; envelope-from=mail@cbaines.net; helo=mira.cbaines.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) --=-=-= Content-Type: text/plain Thanks for the patches. I don't think there's a need for another module though, and if there is, it should probably have a more general topic than mirage (e.g. networking). So yeah, would you be able to move these packages to the ocaml module and send an updated patch series? Thanks, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmN7gsBfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xe6ZA//bNCRHDoVJ78CgUX0lc1ey+ItfLQ39NR1 TRIp1uQPQniUlNlZ+35u64hvPxy9hM97VhqlEcM2sgqGgdUqy9YGJuC9Z5zWjLD+ eIWzGvWTvSlkkQK/xkL8qFEe4lZBQ1gk8v2LMj500z+GZw+MoqCKlb16Ao8/mfnd A/NmsFyghkzuF35991ra5sLncPs/JMoCK4PdJyt5+KZ/gvouf9ZirVgpR5bXy722 8Jdid820UObsD31mSiESt8k8uUs4fMh9rNEkUKP5ckq4Zxq/X3/GDOuxu15esVpj gcY9D9iz4hBrTcvgttZ9aebPZo5SjNP85lsn1K24nIdsNjqYpH0IcxNef58Q7vFq ykXp/T1+Fzp5VE1e6tH5GrqpDeEvv1Ku6DOJCpkm5us2EOZEDn13UeMNGdrgWay/ H3c8xD6WZaFC+NmZ/yHkvYhbMUOjvCc/gkdlEBMLG/9Q8sfne34jfllfEiKtlJ9N 9WpI6/Uvxm33jTzVZxnvAYK54wVdLnA7I/1V7OTD4p8RcEAktvHT8L+1q8DxuvYQ svSHiAwLK8gE/YyazS2QjA1aVEgGaFCX5QTvD0xuOJl1fCXQazWRS+y6PpQOazn/ ta9nkz8oWUvSJCwX5BLOA6k+2NSPXERCvmUGpxG5WWfFpnBkCcDHyEnKwgODLjE1 XfQMCbljCBY= =XCER -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 21 09:52:27 2022 Received: (at control) by debbugs.gnu.org; 21 Nov 2022 14:52:27 +0000 Received: from localhost ([127.0.0.1]:46015 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox89r-000557-Kj for submit@debbugs.gnu.org; Mon, 21 Nov 2022 09:52:27 -0500 Received: from mira.cbaines.net ([212.71.252.8]:41930) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ox89p-00054z-JF for control@debbugs.gnu.org; Mon, 21 Nov 2022 09:52:25 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id 28C0827BBE9 for ; Mon, 21 Nov 2022 14:52:25 +0000 (GMT) Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id e3784348 for ; Mon, 21 Nov 2022 14:52:24 +0000 (UTC) From: Christopher Baines To: control@debbugs.gnu.org Subject: tag 58173 moreinfo Date: Mon, 21 Nov 2022 14:52:24 +0000 Message-ID: <877czo742f.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control 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 (-) tags 58173 + moreinfo quit From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Nov 2022 17:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: Christopher Baines Cc: 58174@debbugs.gnu.org, raingloom@riseup.net X-Debbugs-Original-Cc: 58174@debbugs.gnu.org, raingloom , guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.166905095523290 (code B ref -1); Mon, 21 Nov 2022 17:16:02 +0000 Received: (at submit) by debbugs.gnu.org; 21 Nov 2022 17:15:55 +0000 Received: from localhost ([127.0.0.1]:48683 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxAOg-00063a-Mq for submit@debbugs.gnu.org; Mon, 21 Nov 2022 12:15:54 -0500 Received: from lists.gnu.org ([209.51.188.17]:44490) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxAOc-00063J-Ho for submit@debbugs.gnu.org; Mon, 21 Nov 2022 12:15:50 -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 1oxAOc-00054C-4J for guix-patches@gnu.org; Mon, 21 Nov 2022 12:15:50 -0500 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oxAOa-00020u-6g for guix-patches@gnu.org; Mon, 21 Nov 2022 12:15:49 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4NGDYX1LPpzDrCQ; Mon, 21 Nov 2022 17:15:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1669050944; bh=tkn0wYag4r9nPE9TqchT2sQwURIllXS2bBmXqQ4+Jz4=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=AiiD2Bu/SlRQoS2jvWutn3mPG11QK6VoiXW7Cqkr8lhp84195sEP5sD04Xc5dF6vN DzLTTymQWXXj58JfjowQrL3shdM5UdBRCex+kiXkAn45S/FUmJBVaMjQiEjfXORZ+U 0PnjfqcnJwIPNnJk6XPTM88Qk5chDK93YEW5xrPs= X-Riseup-User-ID: 10563ACDC24156A0485D4DF96BB771DE1EB8E6D64054D277CEF9834530D39B28 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4NGDYW3Ykkz5vMZ; Mon, 21 Nov 2022 17:15:43 +0000 (UTC) References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> From: Csepp Date: Mon, 21 Nov 2022 18:11:52 +0100 In-reply-to: <875yf8v2gv.fsf@cbaines.net> Message-ID: <875yf8mdol.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) Christopher Baines writes: > [[PGP Signed Part:Undecided]] > > Thanks for the patches. I don't think there's a need for another module > though, and if there is, it should probably have a more general topic > than mirage (e.g. networking). > > So yeah, would you be able to move these packages to the ocaml module > and send an updated patch series? > > Thanks, > > Chris > > [[End of PGP Signed Part]] I have a lot more packages in it (40-ish), a lot of them mirage specific. Working in a separate file made rebasing and sorting commits much easier. But if it's a problem, I can move them to the main ocaml file, but I'd like to avoid it becoming a monolith like gtk.scm, if for no other reason than because I don't want to waste my time waiting for GUILEC to recompile a bunch of expression I did not touch. From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 21 Nov 2022 19:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: Christopher Baines , raingloom Cc: 58174@debbugs.gnu.org Received: via spool by 58174-submit@debbugs.gnu.org id=B58174.16690579605188 (code B ref 58174); Mon, 21 Nov 2022 19:13:01 +0000 Received: (at 58174) by debbugs.gnu.org; 21 Nov 2022 19:12:40 +0000 Received: from localhost ([127.0.0.1]:48867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxCDg-0001Lb-6e for submit@debbugs.gnu.org; Mon, 21 Nov 2022 14:12:40 -0500 Received: from mail-wm1-f52.google.com ([209.85.128.52]:34412) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxCDX-0001Ki-8h for 58174@debbugs.gnu.org; Mon, 21 Nov 2022 14:12:32 -0500 Received: by mail-wm1-f52.google.com with SMTP id t25-20020a1c7719000000b003cfa34ea516so10905065wmi.1 for <58174@debbugs.gnu.org>; Mon, 21 Nov 2022 11:12:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=UE72xypYrxFWhvjIbpIQqZMTrpTtS9QWYBEcT+kypDk=; b=Ftf1aZKea6A9DUC2Q4YulmYk13ww18hzn6/KRj8dm5/qV/UKGeDRI7GDmaSb6hZjZM BCHrIl8ovbnghTsAF6PDOdF78FK+omLxE8viZNH+hhf7IY358ImzsAKGnLupz5GNeKx+ lFI1q4534DbchqlDxTRf1SclOLks5sWQ/AI6+q/VsRWeFaq4ROqkzG04gAgHzillyXdV +8P+xoyDekHj3+BTQN7fdT2/lzqiLPHqZBEQA6aiMJR0zVdPnDtmmrKA/67kbAY0pXB4 lwscAvxPrwHTvBEs+DV7cwLPzSzGn/0xzzE6EWw5XwpTITXVViElH4W4e/Mo74yqyopD TkjA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=UE72xypYrxFWhvjIbpIQqZMTrpTtS9QWYBEcT+kypDk=; b=IS/6liJ3rVDyXkSNKeCnDrViX3VE8Az9pXGsAaLaU8ejTpgysYDpSvhAf86mL6jsHw tpT7MH1xTj8X+wtQPrTypA1di0RnVbXMD6P3Kbg9TaCDOE26txtN4+YPH8fV9hvaic56 fevRAlAhT3OojDjANm3kcVIthveEZmevK47s6+0ZgrFBVlypT2CuEcBXcgEs16aO6PF9 2ugudsaq32W9vOrDt6LgCpavhoCVcvK443jSYK97WVfSzCQdgzRN1Q+kMkgSI/LnpnKO UREuwuNMkNgjatq2D52C+CzWnZR+HSMcFfZIV0HNWHmoQsgSPY0AtEuMGX1G+Ws4e4Ei 2OiQ== X-Gm-Message-State: ANoB5pkyez0RqZHr8UcwU+e7zceUCY2/VBRBKrfbBoQ92oO5p68Aetcq eOugXRS9E1i5LYu5ny+zaqstjjegxtc= X-Google-Smtp-Source: AA0mqf6nl9soNGaZCvw/OAgnWCon6s6/530vEuVmh+l5t+IQkJYdHyaK77w/xAnARcgPjhOIfBnLgA== X-Received: by 2002:a7b:cbc6:0:b0:3c6:b650:34dd with SMTP id n6-20020a7bcbc6000000b003c6b65034ddmr7273485wmi.45.1669057945566; Mon, 21 Nov 2022 11:12:25 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id t18-20020a5d6a52000000b00236740c6e6fsm11720238wrw.100.2022.11.21.11.12.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 21 Nov 2022 11:12:25 -0800 (PST) From: zimoun In-Reply-To: <875yf8v2gv.fsf@cbaines.net> References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> Date: Mon, 21 Nov 2022 18:08:52 +0100 Message-ID: <87r0xwutej.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) 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 (-) Hi Chris, On Mon, 21 Nov 2022 at 13:51, Christopher Baines wrote: > Thanks for the patches. I don't think there's a need for another module > though, and if there is, it should probably have a more general topic > than mirage (e.g. networking). Mirage, which is named MirageOS, =C2=ABis a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.=C2=BB https://mirage.io/ Somehow, it is more that just networking, for instance. :-) > So yeah, would you be able to move these packages to the ocaml module > and send an updated patch series? Well, I do not have an opinion but the MirageOS ecosystem can be large, https://github.com/mirage Cheers, simon From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Nov 2022 08:31:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: zimoun Cc: 58174@debbugs.gnu.org Received: via spool by 58174-submit@debbugs.gnu.org id=B58174.166910582817544 (code B ref 58174); Tue, 22 Nov 2022 08:31:01 +0000 Received: (at 58174) by debbugs.gnu.org; 22 Nov 2022 08:30:28 +0000 Received: from localhost ([127.0.0.1]:49684 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxOfk-0004Y6-8w for submit@debbugs.gnu.org; Tue, 22 Nov 2022 03:30:28 -0500 Received: from mira.cbaines.net ([212.71.252.8]:41932) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxOfe-0004GH-Kp for 58174@debbugs.gnu.org; Tue, 22 Nov 2022 03:30:26 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id AC86827BBE9; Tue, 22 Nov 2022 08:30:21 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 9cd53028; Tue, 22 Nov 2022 08:30:21 +0000 (UTC) References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> <87r0xwutej.fsf@gmail.com> User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines Date: Tue, 22 Nov 2022 08:29:26 +0000 In-reply-to: <87r0xwutej.fsf@gmail.com> Message-ID: <8735abtmqq.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) 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; charset=utf-8 Content-Transfer-Encoding: quoted-printable zimoun writes: > Hi Chris, > > On Mon, 21 Nov 2022 at 13:51, Christopher Baines wrote: >> Thanks for the patches. I don't think there's a need for another module >> though, and if there is, it should probably have a more general topic >> than mirage (e.g. networking). > > Mirage, which is named MirageOS, =C2=ABis a library operating system that > constructs unikernels for secure, high-performance network applications > across a variety of cloud computing and mobile platforms.=C2=BB > > https://mirage.io/ > > Somehow, it is more that just networking, for instance. :-) My point was not that MirageOS is about networking, but these 3 packages are related to networking, and not specific to MirageOS. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmN8iJ1fFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xe7Ow/+IKGpOU6bFa0h9OiHNd7w5iGuBH1g5LhC jTrtq1YkzJVRqWboDf/wT9Fm5gG1j97aa7JAkkJkwViwCuVEsVlL/oDazR83admi 31TkFKxiNKEZyUienm1S+EJY330VIRkmq+xiEPB1/0fJ0rlZHKs1UY0vKlPuVjG8 VqNNWmvwBRv+hXKMJc622XZxkjWraqruyQAGqqZanDXMumMfZkPhnqvCKNQazj8b OajZCKVZ2ueLIgSBgabT0wZxrzpsrWAhUJZ/F8V2s55dWeXqoTsZ7BJL8pWDSGAp TCQflRUSA/HuyO7xnt/KIujzoDSh5/fmXT0wnRJ4VnLzN9piDLo/9En9auVMK+rU aBauVybxP/2QuQXEnun4tTQbVg5RDuIrWyB6AwrZz58d6glzh3ZgY66HNOXRz/WM 31zrS0E+gXAK7MfKlbDdvcLczAd/o87TgJaIj54AUrJnuUnDG08R+5ilLb6HR9WL Zq2VrFU3zDU3aZqR/hqu3sNVbS49HijH9vcTPBBuJXPLwCp35DT4kgiuxUrgG2A/ of2RXNUW7usgf/xTc5i+xFURTDlnP+11xax9pZnNFPbMxhoxcW2XVPXsM2IqRQK9 ceaBVHG7DGuabBKeHU4WJk3h6okBORfkBCEpFRBoy8YiNUa8XGQf6hVe5M8SJKoN CnlOJM6d+kc= =BSu3 -----END PGP SIGNATURE----- --=-=-=-- From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Nov 2022 10:04:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: Csepp Cc: 58174@debbugs.gnu.org X-Debbugs-Original-Cc: 58174@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.166911140629982 (code B ref -1); Tue, 22 Nov 2022 10:04:02 +0000 Received: (at submit) by debbugs.gnu.org; 22 Nov 2022 10:03:26 +0000 Received: from localhost ([127.0.0.1]:49879 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxQ7h-0007nV-J6 for submit@debbugs.gnu.org; Tue, 22 Nov 2022 05:03:25 -0500 Received: from lists.gnu.org ([209.51.188.17]:35344) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxQ7f-0007nN-5Z for submit@debbugs.gnu.org; Tue, 22 Nov 2022 05:03:23 -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 1oxQ7b-0002vg-FM for guix-patches@gnu.org; Tue, 22 Nov 2022 05:03:23 -0500 Received: from mira.cbaines.net ([2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oxQ7Z-0005cZ-Nw for guix-patches@gnu.org; Tue, 22 Nov 2022 05:03:19 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:54d1:d5d4:280e:f699]) by mira.cbaines.net (Postfix) with ESMTPSA id 72A7A27BBE9; Tue, 22 Nov 2022 10:03:16 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 8a2d67f2; Tue, 22 Nov 2022 10:03:15 +0000 (UTC) References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> <875yf8mdol.fsf@riseup.net> User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines Date: Tue, 22 Nov 2022 10:01:44 +0000 In-reply-to: <875yf8mdol.fsf@riseup.net> Message-ID: <878rk3s3vi.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27; envelope-from=mail@cbaines.net; helo=mira.cbaines.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) --=-=-= Content-Type: text/plain Csepp writes: > Christopher Baines writes: > >> [[PGP Signed Part:Undecided]] >> >> Thanks for the patches. I don't think there's a need for another module >> though, and if there is, it should probably have a more general topic >> than mirage (e.g. networking). >> >> So yeah, would you be able to move these packages to the ocaml module >> and send an updated patch series? >> >> Thanks, >> >> Chris >> >> [[End of PGP Signed Part]] > > I have a lot more packages in it (40-ish), a lot of them mirage > specific. Working in a separate file made rebasing and sorting commits > much easier. > But if it's a problem, I can move them to the main ocaml file, but I'd > like to avoid it becoming a monolith like gtk.scm, if for no other > reason than because I don't want to waste my time waiting for GUILEC to > recompile a bunch of expression I did not touch. I'm fine with mirage specific stuff going in a mirage module, my issue is that these first packages are not mirage specific, so I'd like to see the separate module be more general (e.g. about networking), or for them to just go in the ocaml module. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmN8nmFfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xefdg/9EZYL4f/kHUWxsxCVQsOJ3Yw8tOsBqH0y N1/xXFdwtcfRDYkNnBJpZlKuam2izuonJG1iCgml+5/ZeHTESOB6H9OCXbgtz7IU 35j9QuKvirVcvDDY/gawH/zBFth+vJdCvWMu7GaDrxDAqLlRTkYJw2c6ddyw+hR3 07OcIKM6SCydAlMC++gupx/YTOfsZqHj+XrqhQTwM5CiQXVUsnXgiRSgltd/7a/C aH1QkLjKr2QayGHePIRxwViAftVyznq0nvGAs14SMHh4TFKQj+hJ627jWH2Dgcz3 qFppYFLqasCCwao9MLkqNKzP9zl39OvdOo2roew5PzFZ9j3J4/PB00eFs/EWPhCA JVb0KJ2Y7cbZw5x2AP3ZvDY/qjVbkE0hLUlZ+hApTRX2syw1VWyeO3VaPWvgGZF1 xYUTMeRao/rvw2xDPTrtQAU+hVMANP9YgCVYBTBoR+yNpmUiCTfIVFFGVmuUIsPk C20Sa53nCcQjYsFVEB6G30BcZ7+vTIiWrNGEClaOHjr9/jaKN0R73P+TPWzeggtP 17ijEtAFs1pHv0ZVvFbGVtuRaYYJ8OMMAcT1Urvd2COcBckUdXMOBnPEbdRjhkZO 1ekGntPn/cGHGZ5vy1iLOfytVxp+Pa7GL6ob85X9G8aEG0rfwWdcvl2w+LdcRcqF O7VFAtS6c5k= =cI2C -----END PGP SIGNATURE----- --=-=-=-- From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Nov 2022 12:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: Christopher Baines Cc: 58174@debbugs.gnu.org, raingloom@riseup.net X-Debbugs-Original-Cc: 58174@debbugs.gnu.org, Csepp , guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.166912052121337 (code B ref -1); Tue, 22 Nov 2022 12:36:02 +0000 Received: (at submit) by debbugs.gnu.org; 22 Nov 2022 12:35:21 +0000 Received: from localhost ([127.0.0.1]:50122 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxSUj-0005Y5-5A for submit@debbugs.gnu.org; Tue, 22 Nov 2022 07:35:21 -0500 Received: from lists.gnu.org ([209.51.188.17]:52472) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxSUe-0005Xi-C1 for submit@debbugs.gnu.org; Tue, 22 Nov 2022 07:35:17 -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 1oxSUc-0000i6-0t for guix-patches@gnu.org; Tue, 22 Nov 2022 07:35:16 -0500 Received: from mx0.riseup.net ([198.252.153.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oxSUZ-0004gQ-5B for guix-patches@gnu.org; Tue, 22 Nov 2022 07:35:13 -0500 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx0.riseup.net (Postfix) with ESMTPS id 4NGkHJ5Z61z9s6t; Tue, 22 Nov 2022 12:35:08 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1669120508; bh=eqgZuxyoistX0k6JqzzXtnuq7qZrDRe5y5GOrkvSd3k=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=MWI7uFztyCGqu5HJPCizTcmZCAgRIhggqs9gwgG3iRokKKtb7j/GzBHxxBvc7dDGt CJ8EUB4zU46xzJIoUMhlsCEgz48I2qOPd0NZONEkPUB//S8t8LR9i4z/YFYYE3qdK7 ZSS0C0uOHhYXEdQCveAUG0FUu7LMP4hkqA0qvuX0= X-Riseup-User-ID: E1A8A57623AE3132C1772E18E17A62300C577A3E21AF3BF86707A24292F56BF1 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4NGkHJ0Pffz1yBb; Tue, 22 Nov 2022 12:35:07 +0000 (UTC) References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> <875yf8mdol.fsf@riseup.net> <878rk3s3vi.fsf@cbaines.net> From: Csepp Date: Tue, 22 Nov 2022 13:30:00 +0100 In-reply-to: <878rk3s3vi.fsf@cbaines.net> Message-ID: <871qpvmakq.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.6; envelope-from=raingloom@riseup.net; helo=mx0.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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 (--) Christopher Baines writes: > [[PGP Signed Part:Undecided]] > > Csepp writes: > >> Christopher Baines writes: >> >>> [[PGP Signed Part:Undecided]] >>> >>> Thanks for the patches. I don't think there's a need for another module >>> though, and if there is, it should probably have a more general topic >>> than mirage (e.g. networking). >>> >>> So yeah, would you be able to move these packages to the ocaml module >>> and send an updated patch series? >>> >>> Thanks, >>> >>> Chris >>> >>> [[End of PGP Signed Part]] >> >> I have a lot more packages in it (40-ish), a lot of them mirage >> specific. Working in a separate file made rebasing and sorting commits >> much easier. >> But if it's a problem, I can move them to the main ocaml file, but I'd >> like to avoid it becoming a monolith like gtk.scm, if for no other >> reason than because I don't want to waste my time waiting for GUILEC to >> recompile a bunch of expression I did not touch. > > I'm fine with mirage specific stuff going in a mirage module, my issue > is that these first packages are not mirage specific, so I'd like to see > the separate module be more general (e.g. about networking), or for them > to just go in the ocaml module. > > [[End of PGP Signed Part]] I'd rather not bikeshed this further, so whatever, it can go to ocaml.scm. From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Nov 2022 12:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: Christopher Baines , Csepp Cc: pukkamustard@posteo.net, 58174@debbugs.gnu.org, Julien Lepiller Received: via spool by 58174-submit@debbugs.gnu.org id=B58174.166912176523393 (code B ref 58174); Tue, 22 Nov 2022 12:57:01 +0000 Received: (at 58174) by debbugs.gnu.org; 22 Nov 2022 12:56:05 +0000 Received: from localhost ([127.0.0.1]:50159 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxSom-00065F-MP for submit@debbugs.gnu.org; Tue, 22 Nov 2022 07:56:04 -0500 Received: from mail-wr1-f46.google.com ([209.85.221.46]:45716) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxSok-00064g-C5 for 58174@debbugs.gnu.org; Tue, 22 Nov 2022 07:56:03 -0500 Received: by mail-wr1-f46.google.com with SMTP id d1so12459387wrs.12 for <58174@debbugs.gnu.org>; Tue, 22 Nov 2022 04:56:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=LrbYLqQn0jBRUM6VVI1q367sJ14yQAUMuxiq5sOFViI=; b=DssdFFbdbxFP+RT2+kEIO5CVrJId36hB2L+nU4+16nEmDbk3JocOicxUDxiIJd5/o/ 86F5wrhpmjN5hhuUeaP7k7JYyAI9/xinlLUUSrxUlpWWykSRB0bhr9WMnvYg2EoZKe5G bX4YBYI/uehCazPKyuDg4q0xw9FBqesbkHCaWAA76me2W7rwjTBxCuGdeSo+IMpAvuwG 9Dd4owJFaaBO8tjDiTrSac2jzbunLv5IFgui5AacoJrARamoraPQBhnObXuQ+VMLylYT SIfrISpI6f/8KQPpv0+QBTtKgQrnTecJhmMuR0uBk2D8m/YkpsSwC1DVlVOT7qsOenR5 OJbA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=LrbYLqQn0jBRUM6VVI1q367sJ14yQAUMuxiq5sOFViI=; b=zIztvr1Z7Rr3CV5en3ZgnIh4hFm5143VaEa0Y24mNpxn4SSSE4lysUVcyP+IQR3QOC qIxfXWxjOqii70GxX6g7xw+6czpjQgCuHA+Q2TdBF0uk4A3xUMkq5msnfQMkadj14D52 gBDUCdhKVbqKHB6lkNB39KLCGRw0A+iXVlOEsDBROrpbr298PvvZBdGZQsQog/30Xu4b pk5pSy18kFRYUnnoIvgYfqhnFdXV2CeujFpgfDNJXmsb1HnWixeV7JSIFRtModV0R4Ba oNwULP5mS83rIsYz40bNF4o+qhOfE6f9IreDGYkxHJpU9bQYFwvXVOe43C6O3W50NsRv 4IXw== X-Gm-Message-State: ANoB5pniqQjIXbd0bZjiaGKWd5c/C5etUnWPJbilcENjuC/r3Ycz0XgY Fn0v7FshKogVAI4OUd5DNb4= X-Google-Smtp-Source: AA0mqf5nJZh7WTgGAeRPIu/XXQqXuuY1sx7e00t8vnhs3DK2roJpmS83AlhFvCH/HisrOJPXxt76qA== X-Received: by 2002:a05:6000:a12:b0:241:c4d1:41a6 with SMTP id co18-20020a0560000a1200b00241c4d141a6mr11006397wrb.324.1669121756073; Tue, 22 Nov 2022 04:55:56 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id g17-20020a05600c4ed100b003c701c12a17sm24611219wmq.12.2022.11.22.04.55.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 22 Nov 2022 04:55:55 -0800 (PST) From: zimoun In-Reply-To: <878rk3s3vi.fsf@cbaines.net> References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> <875yf8mdol.fsf@riseup.net> <878rk3s3vi.fsf@cbaines.net> Date: Tue, 22 Nov 2022 13:22:19 +0100 Message-ID: <86k03ndvr8.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) 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 (-) Hi, On Tue, 22 Nov 2022 at 10:01, Christopher Baines wrote: > I'm fine with mirage specific stuff going in a mirage module, my issue > is that these first packages are not mirage specific, so I'd like to see > the separate module be more general (e.g. about networking), or for them > to just go in the ocaml module. Indeed, these 3 packages should be in (gnu packages ocaml) to be consistent with the current organization=E2=80=93=E2=80=93MirageOS packages= are already in this module: --8<---------------cut here---------------start------------->8--- ./ocaml.scm:1169: (url "https://github.com/mirage/bigarray-compa= t") ./ocaml.scm:1587: (url "https://github.com/mirage/ocaml-base64= ") ./ocaml.scm:2448: (url "https://github.com/mirage/alcotest") ./ocaml.scm:2595: (url "https://github.com/mirage/mmap") ./ocaml.scm:3807: (url "https://github.com/mirage/ocaml-cstruc= t") ./ocaml.scm:3822: (url "https://github.com/mirage/ocaml-hex") ./ocaml.scm:3847: (url "https://github.com/mirage/ezjsonm") ./ocaml.scm:3902: (url "https://github.com/mirage/ocaml-uri") ./ocaml.scm:8149: (url "https://github.com/mirage/either") ./ocaml.scm:8428: (url "https://github.com/mirage/ocaml-cohttp") --8<---------------cut here---------------end--------------->8--- About an OCaml module restructure: Well, in the module (gnu packages ocaml), I count 291 packages, from compilers to standalone program (unison) or libraries (ocaml-). IMHO, to be consistent with other build system, the structure should be: - (gnu packages ocaml): contains OCaml compilers and toolchain - (gnu packages ocaml-xyz): contains libraries and standalone program - and maybe other (gnu packages ocaml-)? OCaml team, WDYT? Cheers, simon From unknown Tue Jun 17 01:48:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Nov 2022 14:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58174 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch moreinfo To: zimoun , Christopher Baines , Csepp Cc: pukkamustard@posteo.net, 58174@debbugs.gnu.org Received: via spool by 58174-submit@debbugs.gnu.org id=B58174.16691281569728 (code B ref 58174); Tue, 22 Nov 2022 14:43:02 +0000 Received: (at 58174) by debbugs.gnu.org; 22 Nov 2022 14:42:36 +0000 Received: from localhost ([127.0.0.1]:50324 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxUTr-0002Wp-Tl for submit@debbugs.gnu.org; Tue, 22 Nov 2022 09:42:36 -0500 Received: from lepiller.eu ([89.234.186.109]:46928) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oxUTn-0002We-B3 for 58174@debbugs.gnu.org; Tue, 22 Nov 2022 09:42:34 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 522cfaf3; Tue, 22 Nov 2022 14:42:28 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=DHDypWXPuUTg v7NfAAyUOMeZIl7HR8FNfs4ZWL0yOUA=; b=hoRZvD6BgpHXtCVSWScwHDZggDKa mmsEqfwr4yiGaBJAonAKjaeqV+9dbF/+6bS9g/+D2qay0LJSE4SAM9PriACScFep xzTqA+BLku+OG9W1pMQQYQpp4s41rNgvAdB7sPpPxdikMBIDSnN6x40LPqZNil+z aXKfMYIrfFDY3kimSAtARbuxioq5jV8pf9BToWSd6zYTDv8Cqzv2Knj3GPByH4qg cMZjtRTCxIb57Vag0hmjwoEd8z0722N00wrgM+ZaGQED6puzNeorE4Dwf5CmUpo2 Ji/NhHK2sL5MosRUwKryneWDoi2S4ai4fn4RYeML1Ri1x7q4BjU9qtZgRA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 30c2eccd (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Tue, 22 Nov 2022 14:42:27 +0000 (UTC) Date: Tue, 22 Nov 2022 15:42:23 +0100 From: Julien Lepiller User-Agent: K-9 Mail for Android In-Reply-To: <86k03ndvr8.fsf@gmail.com> References: <20220929164718.16973-1-raingloom@riseup.net> <875yf8v2gv.fsf@cbaines.net> <875yf8mdol.fsf@riseup.net> <878rk3s3vi.fsf@cbaines.net> <86k03ndvr8.fsf@gmail.com> Message-ID: <6FF3ECFC-B6FD-472E-AD8D-5BCCB82DB3C2@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----S65DK183VAXXRKF9PNSM3IB8XD5YSA Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) 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 (-) ------S65DK183VAXXRKF9PNSM3IB8XD5YSA Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I don't have a strong opinion=2E Having mirage stuff in ocaml=2Escm is only= because I didn't pay attention=2E We could move tgem to mirage=2Escm=2E I agree moving stuff to ocaml-xyz and other subtopics could be good, but i= t's unrelated to this patcg series, so it shouldn't block it=2E Le 22 novembre 2022 13:22:19 GMT+01:00, zimoun a =C3=A9crit=C2=A0: >Hi, > >On Tue, 22 Nov 2022 at 10:01, Christopher Baines wro= te: > >> I'm fine with mirage specific stuff going in a mirage module, my issue >> is that these first packages are not mirage specific, so I'd like to se= e >> the separate module be more general (e=2Eg=2E about networking), or for= them >> to just go in the ocaml module=2E > >Indeed, these 3 packages should be in (gnu packages ocaml) to be >consistent with the current organization=E2=80=93=E2=80=93MirageOS packag= es are already >in this module: > >--8<---------------cut here---------------start------------->8--- >=2E/ocaml=2Escm:1169: (url "https://github=2Ecom/mirage/bigarr= ay-compat") >=2E/ocaml=2Escm:1587: (url "https://github=2Ecom/mirage/ocam= l-base64") >=2E/ocaml=2Escm:2448: (url "https://github=2Ecom/mirage/alcotes= t") >=2E/ocaml=2Escm:2595: (url "https://github=2Ecom/mirage/mmap") >=2E/ocaml=2Escm:3807: (url "https://github=2Ecom/mirage/ocam= l-cstruct") >=2E/ocaml=2Escm:3822: (url "https://github=2Ecom/mirage/ocaml-= hex") >=2E/ocaml=2Escm:3847: (url "https://github=2Ecom/mirage/ezjsonm") >=2E/ocaml=2Escm:3902: (url "https://github=2Ecom/mirage/ocaml-uri") >=2E/ocaml=2Escm:8149: (url "https://github=2Ecom/mirage/either") >=2E/ocaml=2Escm:8428: (url "https://github=2Ecom/mirage/ocaml-cohttp"= ) >--8<---------------cut here---------------end--------------->8--- > > >About an OCaml module restructure: Well, in the module (gnu packages >ocaml), I count 291 packages, from compilers to standalone program >(unison) or libraries (ocaml-)=2E > >IMHO, to be consistent with other build system, the structure should be: > > - (gnu packages ocaml): contains OCaml compilers and toolchain > - (gnu packages ocaml-xyz): contains libraries and standalone program > - and maybe other (gnu packages ocaml-)? > >OCaml team, WDYT? > >Cheers, >simon ------S65DK183VAXXRKF9PNSM3IB8XD5YSA Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable I don't have a strong opinion=2E Having mirage stu= ff in ocaml=2Escm is only because I didn't pay attention=2E We could move t= gem to mirage=2Escm=2E

I agree moving stuff to ocaml-xyz and other s= ubtopics could be good, but it's unrelated to this patcg series, so it shou= ldn't block it=2E

Le 22 novembre 2022 13:= 22:19 GMT+01:00, zimoun <zimon=2Etoutoune@gmail=2Ecom> a =C3=A9crit= =C2=A0:
Hi,

On Tue, 22 Nov 2022 at 10:01=
, Christopher Baines <mail@cbaines=2Enet> wrote:

I'm fine with mirage specific stuff goi=
ng in a mirage module, my issue
is that these first packages are not mir=
age specific, so I'd like to see
the separate module be more general (e=
=2Eg=2E about networking), or for them
to just go in the ocaml module=2E=


Indeed, these 3 packages should be in (gnu packages oc=
aml) to be
consistent with the current organization=E2=80=93=E2=80=93Mir=
ageOS packages are already
in this module:

--8<---------------=
cut here---------------start------------->8---
=2E/ocaml=2Escm:1169: =
           (url "https://github=2Ecom/mirage/bigarray-compat")
=2E/ocaml=
=2Escm:1587:              (url "https://github=2Ecom/mirage/ocaml-base64")<=
br>=2E/ocaml=2Escm:2448:           (url "https://github=2Ecom/mirage/alcote=
st")
=2E/ocaml=2Escm:2595:            (url "https://github=2Ecom/mirage/=
mmap")
=2E/ocaml=2Escm:3807:              (url "https://github=2Ecom/mir=
age/ocaml-cstruct")
=2E/ocaml=2Escm:3822:            (url "https://githu=
b=2Ecom/mirage/ocaml-hex")
=2E/ocaml=2Escm:3847:    (url "https://github=
=2Ecom/mirage/ezjsonm")
=2E/ocaml=2Escm:3902:    (url "https://github=2E=
com/mirage/ocaml-uri")
=2E/ocaml=2Escm:8149:      (url "https://github=
=2Ecom/mirage/either")
=2E/ocaml=2Escm:8428:     (url "https://github=2E=
com/mirage/ocaml-cohttp")
--8<---------------cut here---------------e=
nd--------------->8---


About an OCaml module restructure: Wel=
l, in the module (gnu packages
ocaml), I count 291 packages, from compil=
ers to standalone program
(unison) or libraries (ocaml-<something>=
)=2E

IMHO, to be consistent with other build system, the structure s=
hould be:

 - (gnu packages ocaml): contains OCaml compilers and tool=
chain
 - (gnu packages ocaml-xyz): contains libraries and standalone pro=
gram
 - and maybe other (gnu packages ocaml-<subtopic>)?

OC=
aml team, WDYT?

Cheers,
simon
= ------S65DK183VAXXRKF9PNSM3IB8XD5YSA--