GNU logs - #58174, boring messages

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name.
Resent-From: raingloom <raingloom@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 29 Sep 2022 16:49:01 +0000
Resent-Message-ID: <handler.58174.B.16644700879055 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 58174
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 58174 <at> debbugs.gnu.org
Cc: raingloom <raingloom@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> 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 <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1odwhi-0002Lz-LS
	for submit <at> 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 <raingloom@HIDDEN>) id 1odwhW-0002KN-FX
 for submit <at> 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 <raingloom@HIDDEN>)
 id 1odwhU-00071z-OJ
 for guix-patches@HIDDEN; 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 <raingloom@HIDDEN>)
 id 1odwhS-00063f-HR
 for guix-patches@HIDDEN; 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 <guix-patches@HIDDEN>; 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 <raingloom@HIDDEN>
Date: Thu, 29 Sep 2022 18:47:16 +0200
Message-Id: <20220929164718.16973-1-raingloom@HIDDEN>
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@HIDDEN;
 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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
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 <raingloom@HIDDEN>
+;;;
+;;; 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 <http://www.gnu.org/licenses/>.
+
+(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

Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: raingloom <raingloom@HIDDEN>
Subject: bug#58174: Acknowledgement ([PATCH 1/3] gnu: Add ocaml-domain-name.)
Message-ID: <handler.58174.B.16644700879055.ack <at> debbugs.gnu.org>
References: <20220929164718.16973-1-raingloom@HIDDEN>
X-Gnu-PR-Message: ack 58174
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 58174 <at> debbugs.gnu.org
Date: Thu, 29 Sep 2022 16:49:01 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 58174 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
58174: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D58174
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 21 Nov 2022 13:50:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Nov 21 08:50:54 2022
Received: from localhost ([127.0.0.1]:45822 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ox7CI-0001Ac-Hz
	for submit <at> 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 <mail@HIDDEN>) id 1ox7CE-0001AS-R6
 for control <at> 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 <control <at> debbugs.gnu.org>; 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 <control <at> debbugs.gnu.org>; Mon, 21 Nov 2022 13:50:48 +0000 (UTC)
User-agent: mu4e 1.8.11; emacs 28.2
From: Christopher Baines <mail@HIDDEN>
To: GNU Debbugs <control <at> debbugs.gnu.org>
Date: Mon, 21 Nov 2022 13:50:02 +0000
Message-ID: <87a64kv2kn.fsf@HIDDEN>
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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 1.0 (+)

merge 58172 58173 58174
thanks

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name.
Resent-From: Christopher Baines <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 21 Nov 2022 13:54:01 +0000
Resent-Message-ID: <handler.58174.B.16690387964781 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 58174
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: raingloom <raingloom@HIDDEN>
Cc: 58174 <at> debbugs.gnu.org
X-Debbugs-Original-Cc: 58174 <at> debbugs.gnu.org, guix-patches@HIDDEN
Received: via spool by submit <at> 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 <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ox7EZ-0001F3-Qu
	for submit <at> 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 <mail@HIDDEN>) id 1ox7EY-0001Ew-En
 for submit <at> 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 <mail@HIDDEN>) id 1ox7EY-00073d-9h
 for guix-patches@HIDDEN; 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 <mail@HIDDEN>) id 1ox7EV-00039J-Hl
 for guix-patches@HIDDEN; 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@HIDDEN>
User-agent: mu4e 1.8.11; emacs 28.2
From: Christopher Baines <mail@HIDDEN>
Date: Mon, 21 Nov 2022 13:51:26 +0000
In-reply-to: <20220929164718.16973-1-raingloom@HIDDEN>
Message-ID: <875yf8v2gv.fsf@HIDDEN>
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@HIDDEN; 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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
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-----
--=-=-=--

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#58174] [PATCH 1/3] gnu: Add ocaml-domain-name.
Resent-From: Christopher Baines <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 21 Nov 2022 13:54:02 +0000
Resent-Message-ID: <handler.58174.B58174.16690387914765 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 58174
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: raingloom <raingloom@HIDDEN>
Cc: 58174 <at> debbugs.gnu.org
X-Debbugs-Original-Cc: 58174 <at> debbugs.gnu.org, guix-patches@HIDDEN
Received: via spool by 58174-submit <at> debbugs.gnu.org id=B58174.16690387914765
          (code B ref 58174); Mon, 21 Nov 2022 13:54:02 +0000
Received: (at 58174) by debbugs.gnu.org; 21 Nov 2022 13:53:11 +0000
Received: from localhost ([127.0.0.1]:45834 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ox7EV-0001Em-HP
	for submit <at> debbugs.gnu.org; Mon, 21 Nov 2022 08:53:11 -0500
Received: from mira.cbaines.net ([212.71.252.8]:41912)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1ox7EU-0001Ee-AL
 for 58174 <at> debbugs.gnu.org; Mon, 21 Nov 2022 08:53:10 -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@HIDDEN>
User-agent: mu4e 1.8.11; emacs 28.2
From: Christopher Baines <mail@HIDDEN>
Date: Mon, 21 Nov 2022 13:51:26 +0000
In-reply-to: <20220929164718.16973-1-raingloom@HIDDEN>
Message-ID: <875yf8v2gv.fsf@HIDDEN>
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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

--=-=-=
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-----
--=-=-=--

Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 21 Nov 2022 14:52:27 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Nov 21 09:52:27 2022
Received: from localhost ([127.0.0.1]:46015 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ox89r-000557-Kj
	for submit <at> 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 <mail@HIDDEN>) id 1ox89p-00054z-JF
 for control <at> 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 <control <at> debbugs.gnu.org>; Mon, 21 Nov 2022 14:52:25 +0000 (GMT)
Received: from localhost (localhost [local])
 by localhost (OpenSMTPD) with ESMTPA id e3784348
 for <control <at> debbugs.gnu.org>; Mon, 21 Nov 2022 14:52:24 +0000 (UTC)
From: Christopher Baines <mail@HIDDEN>
To: control <at> debbugs.gnu.org
Subject: tag 58173 moreinfo
Date: Mon, 21 Nov 2022 14:52:24 +0000
Message-ID: <877czo742f.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 58173 + moreinfo
quit
Last modified: Mon, 21 Nov 2022 15:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.