GNU logs - #58172, boring messages


Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#58172] [PATCH 3/3] gnu: Add ocaml-ipaddr.
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:48:02 +0000
Resent-Message-ID: <handler.58172.B.16644700788979 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 58172
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 58172 <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.16644700788979
          (code B ref -1); Thu, 29 Sep 2022 16:48:02 +0000
Received: (at submit) by debbugs.gnu.org; 29 Sep 2022 16:47:58 +0000
Received: from localhost ([127.0.0.1]:39431 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1odwhZ-0002Kk-S3
	for submit <at> debbugs.gnu.org; Thu, 29 Sep 2022 12:47:58 -0400
Received: from lists.gnu.org ([209.51.188.17]:56700)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <raingloom@HIDDEN>) id 1odwhW-0002KO-G9
 for submit <at> debbugs.gnu.org; Thu, 29 Sep 2022 12:47:56 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:59002)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>)
 id 1odwhV-00072H-Hh
 for guix-patches@HIDDEN; Thu, 29 Sep 2022 12:47:54 -0400
Received: from mx0.riseup.net ([198.252.153.6]:43932)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <raingloom@HIDDEN>)
 id 1odwhT-00063s-Ry
 for guix-patches@HIDDEN; Thu, 29 Sep 2022 12:47:53 -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 4MdfRp5K8Lz9sbt
 for <guix-patches@HIDDEN>; Thu, 29 Sep 2022 16:47:50 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak;
 t=1664470070; bh=u8cN950ZxHGonnH8Ot55V/YuUtr01uqOfXL4kC8nu7Q=;
 h=From:To:Cc:Subject:Date:In-Reply-To:References:From;
 b=Ao+HKdIWOtjZa5f6WXbf0UkuYQERy/KEFqnbJ8DfN2yB2bfvkuTiaqHAgXmNeXzkY
 TG/hixPZRDfJ3un0bIWbv/6jZ1/H1v8yc/ecNSVOWoZ2gJSIqw/zStH/0q9zjyn/WH
 FSUtRZAg+Weov0lxNVLfWIeWt7shUyxszi8gPOuE=
X-Riseup-User-ID: 4CFA2FDEBDFC3831F3E9E2150F718AABBB3C6A8066BE0B64089945CC9030567D
Received: from [127.0.0.1] (localhost [127.0.0.1])
 by fews2.riseup.net (Postfix) with ESMTPSA id 4MdfRn5zY3z1xx7;
 Thu, 29 Sep 2022 16:47:49 +0000 (UTC)
From: raingloom <raingloom@HIDDEN>
Date: Thu, 29 Sep 2022 18:47:18 +0200
Message-Id: <20220929164718.16973-3-raingloom@HIDDEN>
In-Reply-To: <20220929164718.16973-1-raingloom@HIDDEN>
References: <20220929164718.16973-1-raingloom@HIDDEN>
MIME-Version: 1.0
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 (ocaml-ipaddr): New variable.
---
This is the first of a number of packages needed to get MirageOS building under Guix.

gnu/packages/ocaml-mirage.scm | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/gnu/packages/ocaml-mirage.scm b/gnu/packages/ocaml-mirage.scm
index b1389507d5..488d46fcf5 100644
--- a/gnu/packages/ocaml-mirage.scm
+++ b/gnu/packages/ocaml-mirage.scm
@@ -92,3 +92,16 @@ (define-public ocaml-macaddr
 `Macaddr_sexp` library
 @end itemize")
     (license license:isc)))
+
+(define-public ocaml-ipaddr
+  ;; same repo and versions as ocaml-macaddr
+  (package
+    (inherit ocaml-macaddr)
+    (name "ocaml-ipaddr")
+    (arguments (ipaddr-arguments "macaddr"))
+    (propagated-inputs (list ocaml-macaddr ocaml-domain-name))
+    (synopsis
+     "Library for manipulation of IP (and MAC) address representations")
+    (description
+     "IP address types with serialization, supporting a wide range of RFCs.")
+    (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#58172: Acknowledgement ([PATCH 3/3] gnu: Add ocaml-ipaddr.)
Message-ID: <handler.58172.B.16644700788979.ack <at> debbugs.gnu.org>
References: <20220929164718.16973-3-raingloom@HIDDEN>
X-Gnu-PR-Message: ack 58172
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 58172 <at> debbugs.gnu.org
Date: Thu, 29 Sep 2022 16:48:02 +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 58172 <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
58172: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D58172
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 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.