GNU bug report logs - #71938
[PATCH] gnu: Add matterhorn.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Romain GARBAGE <romain.garbage@HIDDEN>; Keywords: patch; dated Thu, 4 Jul 2024 10:39:01 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:53 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:52 2024
Received: from localhost ([127.0.0.1]:56972 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFk-0006LX-2O
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:52 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFQ-0005En-S7; Mon, 22 Jul 2024 07:30:33 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=PNTpy/4lyO69GnB/5fh0ibjn0HZI5j0XYqzbbQeqCm8=;
 b=Pc0oG/SebPj6lE/1RpPdLTXXle6CyiAxoGY7OHq8Q4kKoZGj7nzVicMm
 nmTadzF9C3lz0nfFX0aN4Ierx18cwCzAYu7Nf1t3GlDEU2KgN2we/EKoc
 6Xh7YZOlz8nfoi9SDN1Wi+YOAmEDr8lXIuyLJtLoW7SbhnP47pp69TTwQ Y=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688898"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation.
Date: Mon, 22 Jul 2024 13:28:02 +0200
Message-ID: <20240722113008.9057-6-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240722113008.9057-1-romain.garbage@HIDDEN>
References: <20240722113008.9057-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-validation): New variable.

Change-Id: Ib25c2dee8fef24c763cf70dfa1c615405d250d39
---
 gnu/packages/haskell-crypto.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 5c69def661..5c5305afa9 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -725,6 +725,33 @@ (define-public ghc-crypton-x509-system
 storage methods")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-validation
+  (package
+    (name "ghc-crypton-x509-validation")
+    (version "1.6.12")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-validation" version))
+       (sha256
+        (base32 "1xjhwvmkcy47a6xiqxb3xy944ca7g660203jdrz5xzd46zibfq0f"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-validation")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-data-default-class
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 Certificate and CRL validation")
+    (description "X.509 Certificate and CRL validation.  please see README")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:51 2024
Received: from localhost ([127.0.0.1]:56966 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFi-0006Jd-U7
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:51 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFP-0005En-Sk; Mon, 22 Jul 2024 07:30:32 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=umCoi1DRylNHY1jQkRxZ8aTufQAOpVtdlTiZZ6UBSK4=;
 b=gARKmCDB8QJI6bIvufh4orOp3/BBFzqpPYzDl8/NE8E6Xwnime9uyiWY
 HOVGUHrrIi4PRZBXiJw5FD2U0EjV3UWiH1CMnKelQtJbH29cvCmKNw8uV
 bC2k8jLSddD557smbNwJgr7TF3DxLSXmOhJKnkKQ9tfkBy3UvO13+c3H/ k=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688896"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system.
Date: Mon, 22 Jul 2024 13:28:01 +0200
Message-ID: <20240722113008.9057-5-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240722113008.9057-1-romain.garbage@HIDDEN>
References: <20240722113008.9057-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-system): New variable.

Change-Id: Idfadaf630a3bcc4d019738d37ae9ee888f49fd80
---
 gnu/packages/haskell-crypto.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 3f2517143c..5c69def661 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -705,6 +705,26 @@ (define-public ghc-crypton-x509-store
 list")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-system
+  (package
+    (name "ghc-crypton-x509-system")
+    (version "1.6.7")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-system" version))
+       (sha256
+        (base32 "1jilnr9715njlx1hqvg5lrsrwk12r04maypmh18di0sybwg2cdm4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-system")))
+    (inputs (list ghc-pem ghc-crypton-x509 ghc-crypton-x509-store))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "Handle per-operating-system X.509 accessors and storage")
+    (description
+     "System X.509 handling for accessing operating system dependents store and other
+storage methods")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:50 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:50 2024
Received: from localhost ([127.0.0.1]:56962 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFh-0006Hv-UX
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:50 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFP-0005En-4I; Mon, 22 Jul 2024 07:30:31 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=Y0BJ2OyQlgqIZ6y7wxuOm2gUSTQloQ6hcNHWDRKfJGE=;
 b=P23NkYSJ/1kYdIJN+SPsna4iDnMGZ9yQ9tyssjNz4fobMvYYg3JPbi2r
 eVXwadoSmtm1bVJo+FMmOPvtGw+uIz6m11FFEmgYOewo1TkrenBrE8fzK
 RGRXmEPU2HE9e8NH7camXEkJKNxrV8h7gmU+nTRmbkkwvloAdAlyCS/mL 0=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688894"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store.
Date: Mon, 22 Jul 2024 13:28:00 +0200
Message-ID: <20240722113008.9057-4-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240722113008.9057-1-romain.garbage@HIDDEN>
References: <20240722113008.9057-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-store): New variable.

Change-Id: Id9e2bd91d99c09fee5bd0054741176108b7376ed
---
 gnu/packages/haskell-crypto.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 9bbf3ee0fc..3f2517143c 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -683,6 +683,28 @@ (define-public ghc-crypton-x509
     (description "Generic X509 support for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-store
+  (package
+    (name "ghc-crypton-x509-store")
+    (version "1.6.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-store" version))
+       (sha256
+        (base32 "0vr5b9cyf9x016wn1g0bryslf5nz8jq2sy8r3llwqfg02apihqiy"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-store")))
+    (inputs (list ghc-pem ghc-asn1-types ghc-asn1-encoding ghc-crypton
+                  ghc-crypton-x509))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 collection accessing and storing methods")
+    (description
+     "X.509 collection accessing and storing methods for certificate, crl, exception
+list")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:34 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:34 2024
Received: from localhost ([127.0.0.1]:56938 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFR-0005nR-80
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:34 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFO-0005En-5r; Mon, 22 Jul 2024 07:30:30 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=tM11IhMeRmgXQGOPMIZB+V1ghJH5x/E4ojRjBWQ8TPc=;
 b=oXkgO6MaDYZbf+iAkDSSw1/I05GKf/mtxjjR4yEbO5m70A9r5vWqCAXb
 rQTI/8CF4zVPHeCi+z9XYam/LJdeP7KPsawXJxYwj7B8oZcWzzgESz3mT
 PAWVbBSEQu9yjIomBR09HhJuddAjMNFbhTq4nnJ59wZuVklhAtGfGaoez w=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688892"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 02/25] gnu: Add ghc-crypton-x509.
Date: Mon, 22 Jul 2024 13:27:59 +0200
Message-ID: <20240722113008.9057-3-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240722113008.9057-1-romain.garbage@HIDDEN>
References: <20240722113008.9057-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509): New variable.

Change-Id: I0bea5088c2fd23b77f22a2017303bac849c45c29
---
 gnu/packages/haskell-crypto.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 12ffd10743..9bbf3ee0fc 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -652,6 +652,37 @@ (define-public ghc-crypton
 @end itemize")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509
+  (package
+    (name "ghc-crypton-x509")
+    (version "1.7.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509" version))
+       (sha256
+        (base32 "1zyaz0krf08g36g30zr5wn8f2x51l4dj2zcjnhpiw9h05p54mdzb"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-asn1-parse
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-x509))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "10a2x47znhbayyfr6fqgq27623akpycyjbfxz4hnavavf1x6ary5")
+       ;; build phase fails when tests are activated.
+       ;; See https://github.com/kazu-yamamoto/crypton-certificate/pull/7
+       #:tests? #f))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X509 reader and writer")
+    (description "Generic X509 support for Haskell.")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:32 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:32 2024
Received: from localhost ([127.0.0.1]:56932 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFP-0005lJ-Qi
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:32 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFM-0005En-UM; Mon, 22 Jul 2024 07:30:29 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=UwIyxG33EU9L9HeD31KhfmyuQZuwAmHu0BViTor1YqU=;
 b=Lq69QmgAuNgNbYMwu3vScsFSXTjrbIkhG0vdfxdS+Od98xUjReh2CnDn
 IjlC653Bp2qRJJKXh9CafogCAkqcNYOfVd/LxmJpvXV0V1nM6hQvzMzAJ
 ODn+o55liKt8O9vduAQxiiz7IFi5hNGIH/zRAm/gIR2FcPY8Q1weknOPu A=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688890"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 01/25] gnu: Add ghc-crypton.
Date: Mon, 22 Jul 2024 13:27:58 +0200
Message-ID: <20240722113008.9057-2-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240722113008.9057-1-romain.garbage@HIDDEN>
References: <20240722113008.9057-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton): New variable.

Change-Id: I91902a8dbc0df2d19729933e6cd096810fdc1059
---
 gnu/packages/haskell-crypto.scm | 40 +++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 83ba8bc10b..12ffd10743 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -612,6 +612,46 @@ (define-public ghc-crypto-random
 abstraction for CPRNGs.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton
+  (package
+    (name "ghc-crypton")
+    (version "0.34")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton" version))
+       (sha256
+        (base32 "1mhypjhzn95in853bp7ary0a2xc6lsji6j8hrrgn2mfa4ilq8i24"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton")))
+    (inputs (list ghc-memory ghc-basement))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-tasty-hunit
+                         ghc-tasty-kat))
+    (home-page "https://github.com/kazu-yamamoto/crypton")
+    (synopsis "Cryptography Primitives sink")
+    (description
+     "This package provides a repository of cryptographic primitives.
+@itemize @bullet
+
+@item Symmetric ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4,
+Salsa, XSalsa, ChaCha.
+
+@item Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, Skein, Ripemd, Tiger,
+Whirlpool, Blake2.
+
+@item MAC: HMAC, KMAC, Poly1305
+
+@item Asymmetric crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448,
+Ed25519, Ed448
+
+@item Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt, BCryptPBKDF
+
+@item Cryptographic Random generation: System Entropy, Deterministic Random Generator
+
+@item Data related: Anti-Forensic Information Splitter (AFIS)
+@end itemize")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:30 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 22 07:30:30 2024
Received: from localhost ([127.0.0.1]:56926 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sVrFN-0005fw-K7
	for submit <at> debbugs.gnu.org; Mon, 22 Jul 2024 07:30:30 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sVrFK-0005En-TP; Mon, 22 Jul 2024 07:30:28 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:mime-version:
 content-transfer-encoding;
 bh=8dqzMmhl0MWMQsow8bg0c1hUDrvCRpMYRaLePKN73lI=;
 b=gt8yb02J2DiW+/mcs96c6yGWYTsm9QRafbXeCyPUJClXlh0G/8tGLQB+
 o7K8Gx598jTRmx5U2Utuaig9fb48GY+7NbU62HLy3AdvfNiEODSVWQiBn
 RCrWkGOS6Arpc/LI+u6MBZlI7XCEOaGQ4dtOyQcI3WSEGkX1Rhk2SFmlh 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688889"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v3 00/25] Add matterhorn package.
Date: Mon, 22 Jul 2024 13:27:57 +0200
Message-ID: <20240722113008.9057-1-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

Changes from v2->v3:
Rebased to commit e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9 and sent
patch with base-commit to fix QA.

Romain GARBAGE (25):
  gnu: Add ghc-crypton.
  gnu: Add ghc-crypton-x509.
  gnu: Add ghc-crypton-x509-store.
  gnu: Add ghc-crypton-x509-system.
  gnu: Add ghc-crypton-x509-validation.
  gnu: Add ghc-tls-1.9.
  gnu: Add ghc-crypton-connection.
  gnu: Add ghc-mattermost-api.
  gnu: Add ghc-mattermost-api-qc.
  gnu: Add ghc-modern-uri.
  gnu: Add ghc-aspell-pipe.
  gnu: Add ghc-bimap.
  gnu: Add ghc-checkers.
  gnu: Add ghc-monad-parallel.
  gnu: ghc-text-zipper: Update to 0.13.
  gnu: Add ghc-stm-delay.
  gnu: Add ghc-unique.
  gnu: Add ghc-unix-compat-7.
  gnu: Add ghc-vty-crossplatform.
  gnu: Add ghc-vty-unix.
  gnu: Add ghc-vty-6.
  gnu: Add ghc-hclip.
  gnu: Add ghc-brick.
  gnu: Add ghc-brick-skylighting.
  gnu: Add matterhorn.

 gnu/packages/haskell-apps.scm   |  92 +++++++++
 gnu/packages/haskell-crypto.scm | 177 ++++++++++++++++++
 gnu/packages/haskell-web.scm    | 121 ++++++++++++
 gnu/packages/haskell-xyz.scm    | 318 +++++++++++++++++++++++++++++++-
 4 files changed, 706 insertions(+), 2 deletions(-)


base-commit: e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:20:17 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:20:17 2024
Received: from localhost ([127.0.0.1]:53854 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBhZ-0001Y4-2h
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:20:17 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX1-00010v-CK; Tue, 09 Jul 2024 10:09:24 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=OpNSleOpvzzyMyNaEzlGpWqklRpLs0rnqkc0mgK1ZWc=;
 b=EcBwbZCgIeHCgA/rlAj+RWxPHFQip3ZGg29x66CUaK68mP0ERnvDcbzy
 u2vpwAXNDd8NQWHoU0L7998VSR8BWy6JWMBxV+2noaZmaKk93+VaVqbiJ
 gZJjEaR20RJtDHJ4QmBC4cZ3WirGmemVn4asshwwQV6EOAmRjMrybAyOM c=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739223"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:43 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 22/25] gnu: Add ghc-hclip.
Date: Tue,  9 Jul 2024 15:54:06 +0200
Message-ID: <20240709140812.6183-23-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

gnu/packages/haskell-xyz.scm (ghc-hclip): New variable.

Change-Id: I2d1a2d6e1983eb89a5e61eb05204c2e1c0dc3634
---
 gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 9bacacf9fc..10618be91a 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15153,6 +15153,30 @@ (define-public ghc-commonmark-pandoc
 Pandoc types.")
     (license license:bsd-3)))
 
+(define-public ghc-hclip
+  (package
+    (name "ghc-hclip")
+    (version "3.0.0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Hclip" version))
+       (sha256
+        (base32 "04ppwm7vfzndrys8x1n8vfb41vzwx59r9xp4dkbiqmrms390pj6q"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Hclip")))
+    (inputs (list ghc-strict))
+    (home-page "https://github.com/jetho/Hclip")
+    (synopsis
+     "Small cross-platform library for reading and modifying the system clipboard")
+    (description
+     "This package provides a small cross-platform library for reading and modifying
+the system clipboard. .  Hclip works on Windows, Mac OS X and Linux (but see the
+requirements below!). .  Requirements: . * Windows: No additional requirements.
+. * Mac OS X: Requires the pbcopy and pbpaste commands, which ship with Mac OS
+X. . * Linux: Requires xclip or xsel installed.")
+    (license license:bsd-3)))
+
 (define-public ghc-hslua-module-path
   (package
     (name "ghc-hslua-module-path")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:20:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:20:16 2024
Received: from localhost ([127.0.0.1]:53850 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBhY-0001Xp-8P
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:20:16 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWz-00010v-Qv; Tue, 09 Jul 2024 10:09:22 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=EzgHNsSf9g5yGApsnTXajvyA7FwUJmTHhUDVc2lDwv0=;
 b=kpCnDkSufofcWdLYZOkcGlW345QC93dNHwtIWJ1xmPWx/Uy2LjiURZ47
 FI1mkuEj9/c83UlQKPGMuOeWaeBUtSYBHAC3MbndBq5Y2pRZnzwRVXQZP
 uKd8ms4Ah6qImZi6+xUd4+8TU0+dFgj04WFT7DrRW6761QfflgXAU5sB0 M=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739218"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:42 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 19/25] gnu: Add ghc-vty-crossplatform.
Date: Tue,  9 Jul 2024 15:54:03 +0200
Message-ID: <20240709140812.6183-20-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-vty-crossplatform): New variable.

Change-Id: Icbd33d9bbd7561bdb6178b3431edef6a1db92fcb
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 7558a677a4..baf797a8ca 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14134,6 +14134,26 @@ (define-public ghc-vty
 to use and to provide good support for common terminal types.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-crossplatform
+  (package
+    (name "ghc-vty-crossplatform")
+    (version "0.4.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-crossplatform" version))
+       (sha256
+        (base32 "06iwxgqrqzz05hmic7z5hxd48x0i49sk935vm0xfi0xq28sl7r9m"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-crossplatform")))
+    (inputs (list ghc-vty-6 ghc-vty-unix ghc-random ghc-string-qq))
+    (home-page "http://hackage.haskell.org/package/vty-crossplatform")
+    (synopsis "Cross-platform support for Vty")
+    (description
+     "This package provides a generic interface for multiple Vty platforms in one
+package so you don't have to conditionally depend on them in your cabal file.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:20:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:20:15 2024
Received: from localhost ([127.0.0.1]:53846 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBhW-0001Xf-Qe
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:20:15 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX2-00010v-KT; Tue, 09 Jul 2024 10:09:25 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=qTHoZDrl2Llyw+JBCdeYIYq1R82KKs2HfMX7WjYPTWQ=;
 b=L79S5k5DLBZhl9vCOofwI6VpV/vhj0n3q81ytgejy4TKYy3npFFuxqM4
 WjgduXIJsyixa2dJgUaI2hOYKSRscKZZTpt90drcT/rHQDD5HWRY9Fl+1
 R6bWlAVKpVRTVFAnqFjMkc84SATAKbMslQWJPrvgErnZnDMw158p9dm0P g=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739228"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:45 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 25/25] gnu: Add matterhorn.
Date: Tue,  9 Jul 2024 15:54:09 +0200
Message-ID: <20240709140812.6183-26-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-apps.scm (matterhorn): New variable.

Change-Id: I8f83b39fdc5f94251239129814068000fb492336
---
 gnu/packages/haskell-apps.scm | 92 +++++++++++++++++++++++++++++++++++
 1 file changed, 92 insertions(+)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 3fce4f803c..2fcb1a8c56 100644
--- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -37,6 +37,7 @@
 
 (define-module (gnu packages haskell-apps)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module (guix packages)
   #:use-module ((guix licenses) #:prefix license:)
@@ -682,6 +683,97 @@ (define-public kmonad
 Wayland, and Linux console environments alike.")
       (license license:expat))))
 
+(define-public matterhorn
+  (package
+    (name "matterhorn")
+    (version "90000.0.0")
+    (source
+     (origin
+       ;; use git repo instead of hackage URL because the hackage tarball
+       ;; doesn't contain the sample config file
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/matterhorn-chat/matterhorn")
+             (commit version)))
+       (sha256
+        (base32 "08ng5axranilvfl9j3v0mjgpg76kzacrqj4c8x6pblpc3yxx02i5"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "matterhorn")))
+    (inputs (list ghc-aeson
+                  ghc-aspell-pipe
+                  ghc-async
+                  ghc-base-compat
+                  ghc-bimap
+                  ghc-brick
+                  ghc-brick-skylighting
+                  ghc-commonmark
+                  ghc-commonmark-extensions
+                  ghc-config-ini
+                  ghc-crypton-connection
+                  ghc-data-clist
+                  ghc-gitrev
+                  ghc-hashable
+                  ghc-hclip
+                  ghc-mattermost-api
+                  ghc-microlens-platform
+                  ghc-network-uri
+                  ghc-random
+                  ghc-semigroups
+                  ghc-skylighting-core
+                  ghc-split
+                  ghc-stm-delay
+                  ghc-strict
+                  ghc-temporary
+                  ghc-text-zipper
+                  ghc-timezone-olson
+                  ghc-timezone-series
+                  ghc-unix-compat-7
+                  ghc-unordered-containers
+                  ghc-utf8-string
+                  ghc-uuid
+                  ghc-vector
+                  ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-word-wrap
+                  ghc-xdg-basedir))
+    (native-inputs (list ghc-checkers
+                         ghc-mattermost-api-qc
+                         ghc-tasty
+                         ghc-tasty-hunit
+                         ghc-tasty-quickcheck
+                         ghc-unique))
+    (arguments
+     (list
+      #:phases #~(modify-phases %standard-phases
+                   (add-after 'unpack 'fix-requirements
+                     (lambda _
+                       (for-each (lambda (dep)
+                                   (substitute* "matterhorn.cabal"
+                                     (((string-append "(,\\s" dep
+                                                      "\\s*>=\\s[0-9].[0-9]).*")
+                                       all pat)
+                                      pat)))
+                                 (list "random"
+                                       "data-clist"
+                                       "semigroups"
+                                       "word-wrap"
+                                       "unix-compat"
+                                       "skylighting-core"
+                                       "checkers"
+                                       "vty"
+                                       "vty-crossplatform"
+                                       "brick"))))
+                   (add-after 'install 'install-config-file
+                     (lambda _
+                       (install-file "./docs/sample-config.ini"
+                                     (string-append #$output "/share/doc/" #$name "-" #$version "/etc/")))))))
+    (home-page "http://hackage.haskell.org/package/matterhorn")
+    (synopsis "Terminal client for the Mattermost chat system")
+    (description
+     "This is a terminal client for the Mattermost chat system.  Please see the README
+for a list of features and information on getting started.")
+    (license license:bsd-3)))
+
 (define-public nixfmt
   (package
     (name "nixfmt")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:39 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:39 2024
Received: from localhost ([127.0.0.1]:53756 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXH-00019b-1f
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:39 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX1-00011E-Pz; Tue, 09 Jul 2024 10:09:24 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=Z6VGpKJBvZD9/6TpZooOJOVWdpLd6X+vicc6NZhfAsk=;
 b=j1GxqdjP1czg2VkVEdI/qTOKB8yPJcu+XMeRKumlDOzUe1j9i5C/DgrG
 Ilf97ffIIAvtESgFOccYh6erwI8aCE1lTbhD3Os+AnYxtaPoGPcYW4bp/
 FZ5wPm+88jq1ge7nS4ogXHTUSu5hWsfihkfff5wMzTG1q8lr6af6vbIrH 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739226"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:44 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 23/25] gnu: Add ghc-brick.
Date: Tue,  9 Jul 2024 15:54:07 +0200
Message-ID: <20240709140812.6183-24-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-brick): New variable.

Change-Id: I52fbfa27422a6aacca65d0e8ed5ffa3ab335cc67
---
 gnu/packages/haskell-xyz.scm | 39 ++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 10618be91a..4ccb9c01ae 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15887,6 +15887,45 @@ (define-public ghc-breakpoint
 [README](https://github.com/aaronallen8455/breakpoint#breakpoint) for details.")
     (license license:expat)))
 
+(define-public ghc-brick
+  (package
+    (name "ghc-brick")
+    (version "2.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick" version))
+       (sha256
+        (base32 "160np0bz1mcfkp077yc936i026s3zv1czn8lj3k3qr6scldavw35"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick")))
+    (inputs (list ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-bimap
+                  ghc-data-clist
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-microlens-mtl
+                  ghc-config-ini
+                  ghc-vector
+                  ghc-text-zipper
+                  ghc-unix-compat-7
+                  ghc-word-wrap
+                  ghc-random))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/jtdaugherty/brick/")
+    (synopsis "Declarative terminal user interface library")
+    (description
+     "Write terminal user interfaces (TUIs) painlessly with brick'! You write an event
+handler and a drawing function and the library does the rest. . . > module Main
+where > > import Brick > > ui :: Widget () > ui = str \"Hello, world!\" > > main
+:: IO () > main = @code{simpleMain} ui . .  To get started, see: . *
+<https://github.com/jtdaugherty/brick/blob/master/README.md The README> . * The
+<https://github.com/jtdaugherty/brick/blob/master/docs/guide.rst Brick user
+guide> . * The demonstration programs in the programs directory . .  This
+package deprecates <http://hackage.haskell.org/package/vty-ui vty-ui>.")
+    (license license:bsd-3)))
+
 (define-public ghc-githash
   (package
     (name "ghc-githash")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:38 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:38 2024
Received: from localhost ([127.0.0.1]:53752 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXG-00019N-8e
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:38 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43950)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX1-00011x-Rh; Tue, 09 Jul 2024 10:09:24 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=PEu/J56VEw1VqbGFCuG8KwdTmBrIIcv4FaJi1bhj+k0=;
 b=mWJXIH0nncR3tyf2OxzfW+ZYDFyosBgaRnAacgnsL3WfIMZ/O4dvFxQc
 RUoe8kBiC6VsoxoU0UFw94UqmJZYFESruLQ4ENAPJXT558wmxU4vfSyRm
 5wqs5pYKbA8vsvpmz8Rm85bvLGFKK0dU1HDd4PRYwYNDGODUcXnzQifNE k=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739227"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:44 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 24/25] gnu: Add ghc-brick-skylighting.
Date: Tue,  9 Jul 2024 15:54:08 +0200
Message-ID: <20240709140812.6183-25-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-brick-skylighting): New variable.

Change-Id: I634c108edff99b1003c26dbb2f9107ed464a5e84
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4ccb9c01ae..4e865483fb 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -15926,6 +15926,26 @@ (define-public ghc-brick
 package deprecates <http://hackage.haskell.org/package/vty-ui vty-ui>.")
     (license license:bsd-3)))
 
+(define-public ghc-brick-skylighting
+  (package
+    (name "ghc-brick-skylighting")
+    (version "1.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick-skylighting" version))
+       (sha256
+        (base32 "1nw2x9zn0jlvykm89v80fh4187bxgn8l4cljgnf4mp4ci7aqjmkr"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick-skylighting")))
+    (inputs (list ghc-brick ghc-vty-6 ghc-skylighting-core))
+    (home-page "https://github.com/jtdaugherty/brick-skylighting/")
+    (synopsis "Show syntax-highlighted text in your Brick UI")
+    (description
+     "This package provides a module to use Skylighting to perform syntax highlighting
+and display the results in Brick-based interfaces.")
+    (license license:bsd-3)))
+
 (define-public ghc-githash
   (package
     (name "ghc-githash")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:38 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:38 2024
Received: from localhost ([127.0.0.1]:53750 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXF-00019F-Qx
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:38 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43947)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX1-00011Y-Gq; Tue, 09 Jul 2024 10:09:24 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=5rYiSRAmmkpbfxDi8yk1ynUG/pcU04yENkDPum4IjbM=;
 b=sBNptw+h6KmMyXv+mYMk6c76mOactl9L4LFX0JS8pFlY51AXHnYGMcB3
 jLcVFq+e2Q4lg8yGm0zAw4Xg82K4MzBeaNfbR0nZQeeoOz8DCavftwCo/
 ZUG1GUS4umsCYyzlRbsXcHyaLndqJfo+cQOzahKvRgsBD8YjkPe4CSUoU E=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739220"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:43 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 21/25] gnu: Add ghc-vty-6.
Date: Tue,  9 Jul 2024 15:54:05 +0200
Message-ID: <20240709140812.6183-22-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-vty-6): New variable.

Change-Id: I2e2dbbe0e99d26f38494fb6bdb51bc6d67e5c02c
---
 gnu/packages/haskell-xyz.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 787f70b510..9bacacf9fc 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14179,6 +14179,33 @@ (define-public ghc-vty-unix
     (description "This package provides Unix terminal support for Vty.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-6
+  (package
+    (name "ghc-vty")
+    (version "6.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty" version))
+       (sha256
+        (base32 "0ywqfdngfv5pnsk5pa99yizpbhdq856sy3z70q2hmpmlc2r4h7vg"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty")))
+    (inputs (list ghc-blaze-builder ghc-microlens ghc-microlens-mtl
+                  ghc-utf8-string ghc-vector))
+    (home-page "https://github.com/jtdaugherty/vty")
+    (synopsis "A simple terminal UI library")
+    (description
+     "vty is terminal GUI library in the niche of ncurses.  It is intended to be easy
+to use and to provide good support for common terminal types. .  See the
+@@vty-examples@@ package as well as the program
+@@examples/interactive_terminal_test.hs@@ included in the @@vty@@ repository for
+examples on how to use the library. .  Import the @@Graphics.Vty@@ convenience
+module to get access to the core parts of the library. . &#169; 2006-2007 Stefan
+O'Rear; BSD3 license. . &#169; Corey O'Connor; BSD3 license. . &#169; Jonathan
+Daugherty; BSD3 license.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:37 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:37 2024
Received: from localhost ([127.0.0.1]:53744 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXE-00018t-MV
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:37 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBX0-00011E-D2; Tue, 09 Jul 2024 10:09:23 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=z5cFg1hCulrMp9e8auwjA5jfqy0G/ntfYs/chSP/mWQ=;
 b=Zn84LNQHGQCVj4U20Ni2JyEn2y+JJGwae79ha75MJXBjRFpCDWike03m
 LRmGZ5kmdk0yd1LhawXeK0D3bXIC4brhPx07/PLyPrWmnTeynjaEWNrOL
 otvv5YPqku5uSHJAtlskn2MT+UPVG38BYFRxVJNwbQMFWAwrKjUP9cd5f 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739216"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:41 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 17/25] gnu: Add ghc-unique.
Date: Tue,  9 Jul 2024 15:54:01 +0200
Message-ID: <20240709140812.6183-18-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-unique): New variable.

Change-Id: Id9876b8018f5f8b3bcb82ab0bb13616ed298c31b
---
 gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 6bdff48b6e..d8d0ddfb98 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13390,6 +13390,30 @@ (define-public ghc-uniplate
 work, but is substantially simpler and faster.")
     (license license:bsd-3)))
 
+(define-public ghc-unique
+  (package
+    (name "ghc-unique")
+    (version "0.4.7.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Unique" version))
+       (sha256
+        (base32 "14f1qnmhdmbam8qis725dhwq1mk9h86fsnzhkwhsx73ny9z29s1l"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Unique")))
+    (inputs (list ghc-extra ghc-hashable ghc-unordered-containers))
+    (native-inputs (list ghc-hspec ghc-quickcheck))
+    (arguments
+     `(#:tests? #f ;test  Data.List.UniqueUnsorted.removeDuplicates fails
+       #:cabal-revision ("1"
+                         "10s0npnfkh7naj49afmyrvnilikp6426fbhi49f97pxrgcmy4dvw")))
+    (home-page "http://hackage.haskell.org/package/Unique")
+    (synopsis "It provides the functionality like unix \"uniq\" utility")
+    (description
+     "Library provides the functions to find unique and duplicate elements in the list")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-compat
   (package
     (name "ghc-unix-compat")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:36 2024
Received: from localhost ([127.0.0.1]:53742 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXE-00018m-AK
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:36 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43950)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWz-00011x-Td; Tue, 09 Jul 2024 10:09:23 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=WhOruVWQ6omRv7GpN3QfoVO6z1cXlwMDxwWbLttNbqI=;
 b=eOkNKFJ39AeTBDzpKD5/ZpMyL3mGFr8Xz+edIt0NUMy2wmznnZg+R6oV
 mmmMHS/6tYiBNyHobWayYqOSAQeXQ3XVxzGHqHzzg99kZwX7GtezJrvbD
 tkcvuWkDBPa7cWyH/CJlBKZoFJbdU7uDjqwWx4pARLOnBUFTfu7pp63Ry 8=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739217"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:41 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 18/25] gnu: Add ghc-unix-compat-7.
Date: Tue,  9 Jul 2024 15:54:02 +0200
Message-ID: <20240709140812.6183-19-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-unix-compat-7): New variable.

Change-Id: I28e8e4924d4f829dd07059aa205d894803409320
---
 gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index d8d0ddfb98..7558a677a4 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13437,6 +13437,28 @@ (define-public ghc-unix-compat
 isn't available, portable implementations are used.")
     (license license:bsd-3)))
 
+(define-public ghc-unix-compat-7
+  (package
+    (name "ghc-unix-compat")
+    (version "0.7.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "unix-compat" version))
+       (sha256
+        (base32 "0gz30f4g3gyjz60jbcg072ms67pwdn4by6wvdkg63hjshgl0cj60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "unix-compat")))
+    (native-inputs (list ghc-monad-parallel ghc-hspec ghc-hunit ghc-extra
+                         ghc-temporary))
+    (home-page "https://github.com/haskell-pkg-janitors/unix-compat")
+    (synopsis "Portable POSIX-compatibility layer")
+    (description
+     "This package provides portable implementations of parts of the unix package.
+This package re-exports the unix package when available.  When it isn't
+available, portable implementations are used.")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-time
   (package
     (name "ghc-unix-time")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:35 2024
Received: from localhost ([127.0.0.1]:53738 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXD-00018X-HY
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:35 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43947)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWz-00011Y-Tj; Tue, 09 Jul 2024 10:09:23 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=mse2Wz0mSf56prRMRscMuJVjey/tKX7kzhMPROU2VKY=;
 b=A7c5scnylFPGLrU0tqglD2EsFyOG/+p7uL1vxDF5wPa3RHEjyJ3kqdZH
 gna4zCccRtlA8pUPD+694cPDucvMqC1W8+KeiZobV9b1As+AtF9x2RABY
 I9+qRLhgz8BMXHnKQNvSWwtDysaxcIiygQEKkeubFdZdaG0XgoMvCegKB I=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739219"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:42 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 20/25] gnu: Add ghc-vty-unix.
Date: Tue,  9 Jul 2024 15:54:04 +0200
Message-ID: <20240709140812.6183-21-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

gnu/packages/haskell-xyz.scm (ghc-vty-unix): New variable.

Change-Id: Idf8e550a5d7b645d19af177dd65c5956ba3ab478
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index baf797a8ca..787f70b510 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -14154,6 +14154,31 @@ (define-public ghc-vty-crossplatform
 package so you don't have to conditionally depend on them in your cabal file.")
     (license license:bsd-3)))
 
+(define-public ghc-vty-unix
+  (package
+    (name "ghc-vty-unix")
+    (version "0.2.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-unix" version))
+       (sha256
+        (base32 "1hfxc7qw884vlq8qshhyndl3zs10jc2xr6i69vhasjywkvh6gay2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-unix")))
+    (inputs (list ghc-blaze-builder
+                  ghc-vty-6
+                  ghc-vector
+                  ghc-utf8-string
+                  ghc-microlens
+                  ghc-microlens-mtl
+                  ghc-microlens-th
+                  ghc-ansi-terminal))
+    (home-page "http://hackage.haskell.org/package/vty-unix")
+    (synopsis "Unix backend for Vty")
+    (description "This package provides Unix terminal support for Vty.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:35 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:35 2024
Received: from localhost ([127.0.0.1]:53734 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXC-00018I-PC
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:35 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWy-00011E-Pa; Tue, 09 Jul 2024 10:09:22 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=3inXyS9uziJS36rj9DoPE10owkBlfklxXUY1rnYr3C4=;
 b=dBxN+NKl7A9WHl3xxruMTt5XTwLk/rDpdNxjUPI1Quh6LRYDxQGqxB8P
 c1/krwU9XU1FvD4dY9ZwOv0Bmsy1yN2/3LC8OK1j+uMVruWVIMfuWUlnt
 sj/sEqSPU55DEZxQ0pgWkTvlq3JSjkxjcPpoZQI4j9w/L5VJxs9m0hCNV 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739213"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:40 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 16/25] gnu: Add ghc-stm-delay.
Date: Tue,  9 Jul 2024 15:54:00 +0200
Message-ID: <20240709140812.6183-17-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-stm-delay): New variable.

Change-Id: If9e20a2c103549de9b4b7d63158fe34165f6036a
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 67ced12750..6bdff48b6e 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -11757,6 +11757,31 @@ (define-public ghc-stm-conduit
 source and a sink.")
     (license license:bsd-3)))
 
+(define-public ghc-stm-delay
+  (package
+    (name "ghc-stm-delay")
+    (version "0.1.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "stm-delay" version))
+       (sha256
+        (base32 "0cla21v89gcvmr1iwzibq13v1yq02xg4h6k9l6kcprj7mhd5hcmi"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "stm-delay")))
+    (home-page "https://github.com/joeyadams/haskell-stm-delay")
+    (synopsis "Updatable one-shot timer polled with STM")
+    (description
+     "This library lets you create a one-shot timer, poll it using STM, and update it
+to ring at a different time than initially specified. .  It uses GHC event
+manager timeouts when available (GHC 7.2+, @@-threaded@@, non-Windows OS),
+yielding performance similar to @@@code{threadDelay}@@ and
+@@@code{registerDelay}@@.  Otherwise, it falls back to forked threads and
+@@@code{threadDelay}@@. . [0.1.1] Add @code{tryWaitDelayIO}, improve performance
+for certain cases of @@@code{newDelay}@@ and @@@code{updateDelay}@@, and improve
+example.")
+    (license license:bsd-3)))
+
 (define-public ghc-stmonadtrans
   (package
     (name "ghc-stmonadtrans")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:32 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:32 2024
Received: from localhost ([127.0.0.1]:53726 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBXA-00017m-4R
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:32 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43947)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWy-00011Y-6R; Tue, 09 Jul 2024 10:09:21 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=9MIjaJlolzssgQM7yi2jGJ/aOAc1Usb6UF22Oz0curk=;
 b=vPyHG1q2TYfMqUaRJXNSlu3/7CjSjHrQ5WPj9kqObejR5aaVZNS0jTmK
 dB2SoGrO+a5+nclgb5car3BZJU8TqlV3ovcqJeK7zNKJWU8g0FMkGTX4E
 my6PMOYHZ6jlO+4xB8fajBEZWXlwSoDgnQ9CsLawQVMNQLUC60BfktsvK 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739211"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:39 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 14/25] gnu: Add ghc-monad-parallel.
Date: Tue,  9 Jul 2024 15:53:58 +0200
Message-ID: <20240709140812.6183-15-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-monad-parallel): New variable.

Change-Id: I39a5b5392a50fb4f6e9e15ed107705486362d021
---
 gnu/packages/haskell-xyz.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index e29e84aa9b..4d00382ea3 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7563,6 +7563,28 @@ (define-public ghc-monad-par-extras
 and other added capabilities layered on top of the @code{Par} monad.")
     (license license:bsd-3)))
 
+(define-public ghc-monad-parallel
+  (package
+    (name "ghc-monad-parallel")
+    (version "0.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "monad-parallel" version))
+       (sha256
+        (base32 "1j905cwc440g7rvbhsdkqf50ag7p2bi6cy2rqsk918rn80fqqra4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "monad-parallel")))
+    (inputs (list ghc-parallel ghc-transformers-compat))
+    (home-page "https://hub.darcs.net/blamario/SCC.wiki/")
+    (synopsis "Parallel execution of monadic computations")
+    (description
+     "This package defines classes of monads that can perform multiple executions in
+parallel and combine their results.  For any monad that's an instance of the
+class, the package re-implements a subset of the Control.Monad interface, but
+with parallel execution.")
+    (license license:bsd-3)))
+
 (define-public ghc-monadrandom
   (package
     (name "ghc-monadrandom")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:32 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:32 2024
Received: from localhost ([127.0.0.1]:53724 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX9-00017f-Mz
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:32 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43950)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWx-00011x-Mk; Tue, 09 Jul 2024 10:09:21 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=to/GTRDcIhr05DpQtEyTy9M9imrMkwMjTIvfNS2bWpI=;
 b=ee0GarMrWcMNIBJOkCbbFBbJ5PST0mKsnxVlVwEVFMF49qYCwCpqRbPU
 4oBYqXG7Qhj+GW7QnYfCT5e/HovSbQEgvywz9Cs0Hx4ki2X824Qt1BlEy
 iyw/hzW6lfRoD831kS68ky3dp1OCh71KIobsCxYAYn1exujcv3Zrof3ym g=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739210"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:39 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 13/25] gnu: Add ghc-checkers.
Date: Tue,  9 Jul 2024 15:53:57 +0200
Message-ID: <20240709140812.6183-14-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-checkers): New variable.

Change-Id: I4228398238a169e49e68ead60cbe69ef0437e3e9
---
 gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 60d25dd4bf..e29e84aa9b 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -1830,6 +1830,31 @@ (define-public ghc-cheapskate
 cross-site scripting (@dfn{XSS}) attacks.")
     (license license:bsd-3)))
 
+(define-public ghc-checkers
+  (package
+    (name "ghc-checkers")
+    (version "0.6.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "checkers" version))
+       (sha256
+        (base32 "1r4rsa4k0fy8xig3m530ryflry9viv9v47g4gh7h0ld27rbd6z60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "checkers")))
+    (inputs (list ghc-random ghc-quickcheck ghc-semigroupoids))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0wkvf57zd7i87z18vj285whjpcl9pscpwxz2cp7v7w6kk0769p0i")))
+    (home-page "https://github.com/haskell-checkers/checkers")
+    (synopsis "Check properties on standard classes and data structures")
+    (description
+     "Checkers wraps up the expected properties associated with various standard type
+classes as @code{QuickCheck} properties.  Also some morphism properties.  It
+also provides arbitrary instances and generator combinators for common data
+types. . &#169; 2008-2013 by Conal Elliott; BSD3 license.")
+    (license license:bsd-3)))
+
 (define-public ghc-chell
   (package
     (name "ghc-chell")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:31 2024
Received: from localhost ([127.0.0.1]:53722 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX9-00017X-BM
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:31 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWy-00010v-9g; Tue, 09 Jul 2024 10:09:21 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=nFPGRz8U8NEbEx3yT9hDcVjfJUDfxgTUq3gsYZs8viE=;
 b=qYfVfDK6ElfXobAbPGntstXYb0edLqiNsI4bA+Kc0ZuBP6SUqF4c2x/b
 PyKLqdKkxGG+HxD0hKwSxuYS+Hg1/rMS/1I4J7JPpMNZk77psBMDA0sty
 IOLZgvLfa/ocSYVBu2XkNtS0sQ/qQ0gnpJ9rq5bNRd3y73kbdnyqOf3dN g=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739212"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:40 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 15/25] gnu: ghc-text-zipper: Update to 0.13.
Date: Tue,  9 Jul 2024 15:53:59 +0200
Message-ID: <20240709140812.6183-16-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-text-zipper): Update to 0.13.

Change-Id: I0ae9154713d799b48f9f0772a7c7ee2210493095
---
 gnu/packages/haskell-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4d00382ea3..67ced12750 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -8519,13 +8519,13 @@ (define-public ghc-text-short
 (define-public ghc-text-zipper
   (package
     (name "ghc-text-zipper")
-    (version "0.12")
+    (version "0.13")
     (source (origin
               (method url-fetch)
               (uri (hackage-uri "text-zipper" version))
               (sha256
                (base32
-                "00k7d6qfznhp6l2ihw3pppkn580pwd7ac7wx9vidil4y9hjagaw6"))))
+                "1acq583wmgb53viqslbkgl454300fawg5lryxddfiy1mqk3iqlh6"))))
     (build-system haskell-build-system)
     (properties '((upstream-name . "text-zipper")))
     (inputs (list ghc-vector))
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:31 2024
Received: from localhost ([127.0.0.1]:53718 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX8-00017J-IV
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:30 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWx-00011E-0Z; Tue, 09 Jul 2024 10:09:20 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=z1Ax9gw3Sppo1zHbEDcCoPNq1RFnq9GeTg8IeB+3Lbg=;
 b=AR3fCxtfU9i+I2oorvNHvsBUEs2NqJuKKkAU97uEAroRQ686bhLN+msB
 +eJFGEIT8NE/xry3t1+uWb9sQyXWw8DY9/G1zn09bGpNUZ3gDif7oqNGD
 Q3nAi6me1f/0WUnb7WO54+ijHeJFgq2pdxGxC9NY6QByN6OH47PJhH1UY U=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739209"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:38 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 12/25] gnu: Add ghc-bimap.
Date: Tue,  9 Jul 2024 15:53:56 +0200
Message-ID: <20240709140812.6183-13-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-bimap): New variable.

Change-Id: Ib6ffebff5417273afaa3a08005aae3445606d6d2
---
 gnu/packages/haskell-xyz.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 3bdc8d6d6b..60d25dd4bf 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -972,6 +972,27 @@ (define-public ghc-bifunctors
     (description "This package provides bifunctors for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-bimap
+  (package
+    (name "ghc-bimap")
+    (version "0.5.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "bimap" version))
+       (sha256
+        (base32 "158cdwk9jwklcfgbn62dqq255i40w13ifggsdps87sxc5q7lpd5h"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "bimap")))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/joelwilliamson/bimap")
+    (synopsis "Bidirectional mapping between two key types")
+    (description
+     "This package provides a data structure representing a bidirectional mapping
+between two key types.  Each value in the bimap is associated with exactly one
+value of the opposite type.")
+    (license license:bsd-3)))
+
 (define-public ghc-bindings-dsl
   (package
     (name "ghc-bindings-dsl")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:29 2024
Received: from localhost ([127.0.0.1]:53712 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX7-00016x-Et
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:29 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWx-00010v-0a; Tue, 09 Jul 2024 10:09:19 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=GYi66EhVso5u6RWOjGO3e5DsQcDFW9GmZj36QPl2QFA=;
 b=X2LTahYr1U6tevGu6r9ndWecWxKDWaGGelckSqBaBKhySXmsXqOTcEz0
 lmMC3AoqkCj5BoJNUFObIztmAgkbHEMLsg+9cJMtScpBWpL/4Z53oxa63
 JerkYggpMp97sp/kAz3Ad1xvx8nXQUAvgFaBtIlAvc+MzKIvvzhKnmrUw 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739207"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:38 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 10/25] gnu: Add ghc-modern-uri.
Date: Tue,  9 Jul 2024 15:53:54 +0200
Message-ID: <20240709140812.6183-11-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-web.scm (ghc-modern-uri): New variable.

Change-Id: I62d4c2722303cbeb9a7ef1acd3f12f355cf67509
---
 gnu/packages/haskell-web.scm | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 16a38fd760..bd33abdcb0 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -924,6 +924,35 @@ (define-public ghc-mime-types
      "This library provides basic MIME type handling types and functions.")
     (license license:expat)))
 
+(define-public ghc-modern-uri
+  (package
+    (name "ghc-modern-uri")
+    (version "0.3.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "modern-uri" version))
+       (sha256
+        (base32 "1sag8l91qd7xs56rlx8r6dz9zxxmqsnfw0v47az7l8nirv7zjih2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "modern-uri")))
+    (inputs (list ghc-quickcheck
+                  ghc-hashable
+                  ghc-megaparsec
+                  ghc-profunctors
+                  ghc-reflection
+                  ghc-tagged))
+    (native-inputs (list ghc-hspec
+                         ghc-hspec-megaparsec
+                         ghc-hspec-discover))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0c0mr8aqs963nmy7i8yfih24snaijgwkxim2q2khw12capshac0q")))
+    (home-page "https://github.com/mrkkrp/modern-uri")
+    (synopsis "Modern library for working with URIs")
+    (description "Modern library for working with URIs.")
+    (license license:bsd-3)))
+
 (define-public ghc-html
   (package
     (name "ghc-html")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:29 2024
Received: from localhost ([127.0.0.1]:53710 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX7-00016o-5M
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:29 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43947)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWw-00011Y-Gp; Tue, 09 Jul 2024 10:09:19 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=PhJApsM2Uqkrjt8W67tYBBTmFt7kvi1mw4bh6HsxXXM=;
 b=NMU2i4X3ZSWBZn4kMbHc6V1ZrB2uFTJ4OXOVMeV3WnMyons9e+njUm3i
 1tLPBbyPJd6iWx1Rr4w6b2sC5lURgVGH5uNvVk4utLyNcMZQvi1MDPygl
 +0INwAYhtgHXrgjv22m0WH6cvmBJOzYvm36JKcCaGqNITItBez6kuSfQn 0=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739206"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:37 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 09/25] gnu: Add ghc-mattermost-api-qc.
Date: Tue,  9 Jul 2024 15:53:53 +0200
Message-ID: <20240709140812.6183-10-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-web.scm (ghc-mattermost-api-qc): New variable.

Change-Id: If28b8a03170bb235b2418329d408fec8f06d4b7c
---
 gnu/packages/haskell-web.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 8021cbaefc..16a38fd760 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -885,6 +885,27 @@ (define-public ghc-mattermost-api
 server.")
     (license license:bsd-3)))
 
+(define-public ghc-mattermost-api-qc
+  (package
+    (name "ghc-mattermost-api-qc")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api-qc" version))
+       (sha256
+        (base32 "0lrb8l8nbrdp4y2ala8hchr8ikv5hqw710ffiiw1sz6z2dqiqbxm"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api-qc")))
+    (inputs (list ghc-mattermost-api ghc-quickcheck))
+    (home-page "https://github.com/matterhorn-chat/mattermost-api-qc")
+    (synopsis "QuickCheck instances for the Mattermost client API library")
+    (description
+     "This package provides a library providing @code{QuickCheck} for the
+mattermost-api library to allow testing.  This is provided as a separate library
+to allow use of the API library without testing dependencies.")
+    (license license:isc)))
+
 (define-public ghc-mime-types
   (package
     (name "ghc-mime-types")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:28 2024
Received: from localhost ([127.0.0.1]:53704 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX5-00016T-R6
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:28 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWv-00010v-Mq; Tue, 09 Jul 2024 10:09:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=ZSgPjnkBFcYUv16lfu9CKLCeftYrDmvXhEHoKrSSscs=;
 b=F2AhDz5GAlXSfZcSRFeIEIqN8YTa0BRbI4jLczHoFqqH66gR8mewTROp
 WBgoHHz0ZFCV8hcKaVB10yojZQ4AQNDGFxmxdavweto6N0AOfUEH6VgHD
 4qfmP2OVPxQZPiD3ddA9yHt2D+u6YEElECWSjXDv+UqpUgHF/aY6xThQM c=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739204"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:36 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 08/25] gnu: Add ghc-mattermost-api.
Date: Tue,  9 Jul 2024 15:53:52 +0200
Message-ID: <20240709140812.6183-9-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-web.scm (ghc-mattermost-api): New variable.

Change-Id: Idc2a8fb0d8589b38d7e50aa7565fff71dcc6ab28
---
 gnu/packages/haskell-web.scm | 42 ++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 08b2136cb2..8021cbaefc 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -843,6 +843,48 @@ (define-public ghc-css-text
 Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-mattermost-api
+  (package
+    (name "ghc-mattermost-api")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api" version))
+       (sha256
+        (base32 "1ka3r4bnfwlbjnkws8vkg8i9gj8wzsyss137p7hxrx4sr75s6iyv"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api")))
+    (inputs (list ghc-websockets
+                  ghc-aeson
+                  ghc-crypton-connection
+                  ghc-memory
+                  ghc-resource-pool
+                  ghc-http
+                  ghc-http-media
+                  ghc-network-uri
+                  ghc-modern-uri
+                  ghc-unordered-containers
+                  ghc-hashable
+                  ghc-gitrev
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-pretty-show
+                  ghc-split
+                  ghc-connection))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit ghc-hunit))
+    (arguments
+     (list
+      #:tests? #f)) ;tests fail: unable to setup network socket
+    (home-page "http://hackage.haskell.org/package/mattermost-api")
+    (synopsis "Client API for Mattermost chat system")
+    (description
+     "Client API for Mattermost chat system.  Mattermost is a flexible, open source
+messaging platform that meets even the most demanding privacy and security
+standards.  This library provides network API interaction with the Mattermost
+server.")
+    (license license:bsd-3)))
+
 (define-public ghc-mime-types
   (package
     (name "ghc-mime-types")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:27 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:27 2024
Received: from localhost ([127.0.0.1]:53702 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX5-00016L-FS
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:27 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWv-00011E-Uu; Tue, 09 Jul 2024 10:09:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=td0JI/9a7yZpSlY2PlpukXKmMOFzpVqUa/9UHtKQ78w=;
 b=ZN5WtcSERHFIFq17Xh60yYXoJJxSGQfiWob2KjQnq/T3rXM8sIGyg4pn
 iehZuCfSe0qdn+uZY8ih/+iu6n4qmV9AfDxz8gbJWfyIhzthGJl4QuYOd
 7YeaGKefP6+w/Ix1EbDapOnHhP9fM/ei+A6rdPX4BnX+csOm9R5kO6h2T 8=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739208"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:38 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 11/25] gnu: Add ghc-aspell-pipe.
Date: Tue,  9 Jul 2024 15:53:55 +0200
Message-ID: <20240709140812.6183-12-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-xyz.scm (ghc-aspell-pipe): New variable.

Change-Id: I0d31c9c457ce33b45c0fb6589413208796843920
---
 gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index fa423ae2ca..3bdc8d6d6b 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -450,6 +450,26 @@ (define-public ghc-appar
 style.")
     (license license:bsd-3)))
 
+(define-public ghc-aspell-pipe
+  (package
+    (name "ghc-aspell-pipe")
+    (version "0.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "aspell-pipe" version))
+       (sha256
+        (base32 "09dw4v4j5pmqi8pdh3p7kk7f8pph5w33s7vd21fgvhv3arnrj6p8"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "aspell-pipe")))
+    (inputs (list ghc-async))
+    (home-page "http://hackage.haskell.org/package/aspell-pipe")
+    (synopsis "Pipe-based interface to the Aspell program")
+    (description
+     "This package provides a pipe-based interface to the Aspell program (no dynamic
+linking required).")
+    (license license:bsd-3)))
+
 (define-public ghc-assoc
   (package
     (name "ghc-assoc")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:27 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:27 2024
Received: from localhost ([127.0.0.1]:53698 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX4-000166-Nk
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:27 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43942)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWu-00011E-NT; Tue, 09 Jul 2024 10:09:17 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=GYC0qD3G9ndLi9cc0+458oS22vmuUZRzqMS7PHdKhKw=;
 b=M+E2hyGYAJAbnmwuhnVMyY1dh71bmCqPLcxDa3kJItmO+C6S6gprS1vY
 KojK7vNDhwfRjMGkEQ5uvr3SO8Vl7klsXe/eWtRWTeWSvs+SCxIowGQzy
 9tyailH/5xl8haIbvRu8/2xUKH02iJLqTb0umhiLzKItbTvzv/nEF7zeO 0=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739203"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:36 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 07/25] gnu: Add ghc-crypton-connection.
Date: Tue,  9 Jul 2024 15:53:51 +0200
Message-ID: <20240709140812.6183-8-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-web.scm (ghc-crypton-connection): New variable.

Change-Id: I37bc263de2aa9f3ce7b06b9a752424a0550bf6d3
---
 gnu/packages/haskell-web.scm | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 0aaa609e42..08b2136cb2 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -89,6 +89,35 @@ (define-public ghc-cookie
     (description "HTTP cookie parsing and rendering library for Haskell.")
     (license license:expat)))
 
+(define-public ghc-crypton-connection
+  (package
+    (name "ghc-crypton-connection")
+    (version "0.3.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-connection" version))
+       (sha256
+        (base32 "07lrkv6lwphsyp4797yp8ywnndzd270bk58r8gwyby0hr4xy52r0"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-connection")))
+    (inputs (list ghc-basement
+                  ghc-data-default-class
+                  ghc-network
+                  ghc-tls-1.9
+                  ghc-socks
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-system
+                  ghc-crypton-x509-validation))
+    (home-page "https://github.com/kazu-yamamoto/crypton-connection")
+    (synopsis "Simple and easy network connections API")
+    (description
+     "Simple network library for all your connection need. Features: Really simple to
+use, SSL/TLS, SOCKS. This library provides a very simple api to create sockets to a
+destination with the choice of SSL/TLS, and SOCKS.")
+    (license license:bsd-3)))
+
 (define-public ghc-curl
   (package
     (name "ghc-curl")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:26 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:26 2024
Received: from localhost ([127.0.0.1]:53694 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX3-00015w-VQ
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:26 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWu-00010v-7y; Tue, 09 Jul 2024 10:09:16 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=ZjueEnCPHxXDxX9lyAdXVNf/vx4CP+/a7qSFacS+55o=;
 b=q5zqOrY3tD+fSb4w0oDoXGOB2lvX74MILl3nx0vixr9U2IaKxEte6TMW
 pJczpoEJ0onEpvBxF/+cEyBZa1gjM9ZF5M1x0aI6WSxB9cZWG6CKFpmLH
 K1IaSTtXVCNl1Pz0DQrxCL65Vfu1jaXnC26gh3kn6M40pPGhmc2b5TP4i g=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739202"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:35 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 06/25] gnu: Add ghc-tls-1.9.
Date: Tue,  9 Jul 2024 15:53:50 +0200
Message-ID: <20240709140812.6183-7-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-tls-1.9): New variable.

Change-Id: I53d26e85d7ed333be036cb5e0e359b72f5c21262
---
 gnu/packages/haskell-crypto.scm | 37 +++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 5c5305afa9..dfd28a3537 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -861,6 +861,43 @@ (define-public ghc-tls
 extensions.")
     (license license:bsd-3)))
 
+(define-public ghc-tls-1.9
+  (package
+    (name "ghc-tls")
+    (version "1.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "tls" version))
+       (sha256
+        (base32 "0gj3af9sqd0bw7dpcqfyvbslpxsk2ij00a77kl710fwhw35vj1an"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "tls")))
+    (inputs (list ghc-cereal
+                  ghc-data-default-class
+                  ghc-memory
+                  ghc-crypton
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-validation
+                  ghc-async
+                  ghc-unix-time
+                  ghc-network))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-quickcheck))
+    (home-page "http://github.com/vincenthz/hs-tls")
+    (synopsis "TLS/SSL protocol native implementation (Server and Client)")
+    (description
+     "Native Haskell TLS and SSL protocol implementation for server and client.
+This provides a high-level implementation of a sensitive security protocol,
+eliminating a common set of security issues through the use of the advanced
+type system, high level constructions and common Haskell features.  Currently
+implement the SSL3.0, TLS1.0, TLS1.1 and TLS1.2 protocol, and support RSA and
+Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and many
+extensions.")
+    (license license:bsd-3)))
+
 (define-public ghc-hsopenssl
   (package
     (name "ghc-hsopenssl")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:25 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:25 2024
Received: from localhost ([127.0.0.1]:53690 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBX3-00015f-12
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:25 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWt-00010v-E2; Tue, 09 Jul 2024 10:09:15 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=umCoi1DRylNHY1jQkRxZ8aTufQAOpVtdlTiZZ6UBSK4=;
 b=ag6qk69SF4IVhQNndzgkwcbHYaOKQOIsWJsBhdFLyxDkLRuiH/vUB8rS
 6c4LjOYyTaSTGksNcW7RknsuEyip33YqRkpbI6+Fgi54LiO9HCyJ/DeN3
 FNef636OWVwUui6g7DvBfQq9q/oOQyaPRsjQUMMVQNS7wpzYny9VLb7IM 8=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739199"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:34 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 04/25] gnu: Add ghc-crypton-x509-system.
Date: Tue,  9 Jul 2024 15:53:48 +0200
Message-ID: <20240709140812.6183-5-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-system): New variable.

Change-Id: Idfadaf630a3bcc4d019738d37ae9ee888f49fd80
---
 gnu/packages/haskell-crypto.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 3f2517143c..5c69def661 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -705,6 +705,26 @@ (define-public ghc-crypton-x509-store
 list")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-system
+  (package
+    (name "ghc-crypton-x509-system")
+    (version "1.6.7")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-system" version))
+       (sha256
+        (base32 "1jilnr9715njlx1hqvg5lrsrwk12r04maypmh18di0sybwg2cdm4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-system")))
+    (inputs (list ghc-pem ghc-crypton-x509 ghc-crypton-x509-store))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "Handle per-operating-system X.509 accessors and storage")
+    (description
+     "System X.509 handling for accessing operating system dependents store and other
+storage methods")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:22 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:21 2024
Received: from localhost ([127.0.0.1]:53676 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBWy-00013z-LG
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:21 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWs-00010v-D7; Tue, 09 Jul 2024 10:09:15 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=PNTpy/4lyO69GnB/5fh0ibjn0HZI5j0XYqzbbQeqCm8=;
 b=RgUn3aACggExuMKEOThMVUQxNA3DxZeqajZw1ZMB/ZlVuSSIRvrA/ZuO
 8neuLD/945NHHyFI8CKKVioLifsgNzSzh0RraNySo6Ijitme8wnEjizrZ
 40S7E1S0Js8QJvmoL6jtAo31AsZfc7P9POVKoVyfDkfpz+v6fZ39lbO2F 8=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739200"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:34 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 05/25] gnu: Add ghc-crypton-x509-validation.
Date: Tue,  9 Jul 2024 15:53:49 +0200
Message-ID: <20240709140812.6183-6-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-validation): New variable.

Change-Id: Ib25c2dee8fef24c763cf70dfa1c615405d250d39
---
 gnu/packages/haskell-crypto.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 5c69def661..5c5305afa9 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -725,6 +725,33 @@ (define-public ghc-crypton-x509-system
 storage methods")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-validation
+  (package
+    (name "ghc-crypton-x509-validation")
+    (version "1.6.12")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-validation" version))
+       (sha256
+        (base32 "1xjhwvmkcy47a6xiqxb3xy944ca7g660203jdrz5xzd46zibfq0f"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-validation")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-data-default-class
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 Certificate and CRL validation")
+    (description "X.509 Certificate and CRL validation.  please see README")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:19 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:19 2024
Received: from localhost ([127.0.0.1]:53666 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBWw-000135-Et
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:19 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWr-00010v-7B; Tue, 09 Jul 2024 10:09:14 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=Y0BJ2OyQlgqIZ6y7wxuOm2gUSTQloQ6hcNHWDRKfJGE=;
 b=J2EhDprtbXBZe7djaicvl8QjOooyg35vF5dJ/88xzllCq6zDTQlFDXi8
 DWR1io8kF4wbQg1nh1OZ7fq8OXfy+pzl9rBe/o95JRmShLyQk5HXdJVjb
 K3MGDqr+jLv4Bz6dnYGDPq/mLJBF6fxevoF2AaVmh5wa8ymiipujvRFgB 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739198"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:33 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 03/25] gnu: Add ghc-crypton-x509-store.
Date: Tue,  9 Jul 2024 15:53:47 +0200
Message-ID: <20240709140812.6183-4-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509-store): New variable.

Change-Id: Id9e2bd91d99c09fee5bd0054741176108b7376ed
---
 gnu/packages/haskell-crypto.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 9bbf3ee0fc..3f2517143c 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -683,6 +683,28 @@ (define-public ghc-crypton-x509
     (description "Generic X509 support for Haskell.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509-store
+  (package
+    (name "ghc-crypton-x509-store")
+    (version "1.6.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-store" version))
+       (sha256
+        (base32 "0vr5b9cyf9x016wn1g0bryslf5nz8jq2sy8r3llwqfg02apihqiy"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-store")))
+    (inputs (list ghc-pem ghc-asn1-types ghc-asn1-encoding ghc-crypton
+                  ghc-crypton-x509))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 collection accessing and storing methods")
+    (description
+     "X.509 collection accessing and storing methods for certificate, crl, exception
+list")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:18 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:17 2024
Received: from localhost ([127.0.0.1]:53660 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBWv-00012c-48
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:17 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWq-00010v-Bw; Tue, 09 Jul 2024 10:09:12 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:mime-version:
 content-transfer-encoding;
 bh=Mi4tLrnNKnbNhaV0hMmUfZ7oSHI8k1wrPUEpZqBR2Lw=;
 b=WeQUMeoUdChaV6mXENBjHAcJYxGFvm4JQ5bPnqH6JdxgGWl8n6muB34i
 qaAcVx+F0YNzjBFzS5BX0J4eM5O3lTMEcsq/iPketTB752VTKct8l62GQ
 r2aHoE2uWgYOBhDKpXD8nhReSqXhXzgb6kI0I0RoQEastyD91UXJg/s2H E=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739197"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:32 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 00/25] Add matterhorn package.
Date: Tue,  9 Jul 2024 15:53:44 +0200
Message-ID: <20240709140812.6183-1-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

v2 changes:
* one commit per package addition/update
* matterhorn inputs sorted alphabetically
* ghc-crypton description modified to use Texinfo syntax
* ghc-crypton-x509 description modified
* added a comment explaining why tests are disabled for 
ghc-crypton-x509
* updated ghc-text-zipper instead of adding a new package with a more
up-to-date version
* removed cosmetic changes for unrelevant packages (added dby mistake)

A few comments regarding the other points raised by Ricardo:
* As for reenabling the tests for ghc-crypton-x509, the PR mentioned in
the comment provided a trivial fix of the .cabal file (which I didn't
try). I can add it as a snippet or a substitute* in a fix phase if
needed, just let me know.

* As for updating ghc-tls, ghc-vty and ghc-unix-compat, it seems that
the changes are not trivial and that updating these packages introduces
breakages (tested locally). IMHO, updating the corresponding
packages/fixing the breakages is out of the scope of this patch series.
What would the proper way to handle things here?

Romain GARBAGE (25):
  gnu: Add ghc-crypton.
  gnu: Add ghc-crypton-x509.
  gnu: Add ghc-crypton-x509-store.
  gnu: Add ghc-crypton-x509-system.
  gnu: Add ghc-crypton-x509-validation.
  gnu: Add ghc-tls-1.9.
  gnu: Add ghc-crypton-connection.
  gnu: Add ghc-mattermost-api.
  gnu: Add ghc-mattermost-api-qc.
  gnu: Add ghc-modern-uri.
  gnu: Add ghc-aspell-pipe.
  gnu: Add ghc-bimap.
  gnu: Add ghc-checkers.
  gnu: Add ghc-monad-parallel.
  gnu: ghc-text-zipper: Update to 0.13.
  gnu: Add ghc-stm-delay.
  gnu: Add ghc-unique.
  gnu: Add ghc-unix-compat-7.
  gnu: Add ghc-vty-crossplatform.
  gnu: Add ghc-vty-unix.
  gnu: Add ghc-vty-6.
  gnu: Add ghc-hclip.
  gnu: Add ghc-brick.
  gnu: Add ghc-brick-skylighting.
  gnu: Add matterhorn.

 gnu/packages/haskell-apps.scm   |  92 +++++++++
 gnu/packages/haskell-crypto.scm | 177 ++++++++++++++++++
 gnu/packages/haskell-web.scm    | 121 ++++++++++++
 gnu/packages/haskell-xyz.scm    | 318 +++++++++++++++++++++++++++++++-
 4 files changed, 706 insertions(+), 2 deletions(-)

-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:16 2024
Received: from localhost ([127.0.0.1]:53654 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBWt-00012G-WB
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:16 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWp-00010v-Ds; Tue, 09 Jul 2024 10:09:11 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=tM11IhMeRmgXQGOPMIZB+V1ghJH5x/E4ojRjBWQ8TPc=;
 b=pmfTBbvfp61WjiqJA1LsEP8mMUvSTMSYvVWZGHXdoaYiMKTnQNKNSAUR
 9GOKV3HT8XRnGkeHoocxjuARx4sQ4LmFuj6dOT5PP+3Cu7rEZroRfmwBb
 ReZwWyxAt3EErfZCbllOb0OiARcwHnp13O6aQnsA5xldFuE9Eoa2Maw+n Q=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739196"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:33 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 02/25] gnu: Add ghc-crypton-x509.
Date: Tue,  9 Jul 2024 15:53:46 +0200
Message-ID: <20240709140812.6183-3-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton-x509): New variable.

Change-Id: I0bea5088c2fd23b77f22a2017303bac849c45c29
---
 gnu/packages/haskell-crypto.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 12ffd10743..9bbf3ee0fc 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -652,6 +652,37 @@ (define-public ghc-crypton
 @end itemize")
     (license license:bsd-3)))
 
+(define-public ghc-crypton-x509
+  (package
+    (name "ghc-crypton-x509")
+    (version "1.7.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509" version))
+       (sha256
+        (base32 "1zyaz0krf08g36g30zr5wn8f2x51l4dj2zcjnhpiw9h05p54mdzb"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-asn1-parse
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-x509))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "10a2x47znhbayyfr6fqgq27623akpycyjbfxz4hnavavf1x6ary5")
+       ;; build phase fails when tests are activated.
+       ;; See https://github.com/kazu-yamamoto/crypton-certificate/pull/7
+       #:tests? #f))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X509 reader and writer")
+    (description "Generic X509 support for Haskell.")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:13 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 10:09:13 2024
Received: from localhost ([127.0.0.1]:53647 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sRBWq-00011O-GS
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 10:09:13 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:43929)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sRBWn-00010v-Tk; Tue, 09 Jul 2024 10:09:11 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:in-reply-to:
 references:mime-version:content-transfer-encoding;
 bh=UwIyxG33EU9L9HeD31KhfmyuQZuwAmHu0BViTor1YqU=;
 b=nvsDxsxQZUocpO9Ew8/irRSJE2dnRKBNmHzWb371oBkGo83gtmyFXb7p
 6nPQ9tZHdex1Hlc07Yv/bSnp8UVrT50TkHl0ML3HLDQziH5FKOgo4mumo
 radbayCW7Oe2znAn+GDZR2hyAc8H87/0fZ4sS+oz8VxZ2l8+GXMf9B0r4 o=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,195,1716242400"; d="scan'208";a="91739195"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO guix-A102.home)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 16:08:32 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: 71938 <at> debbugs.gnu.org
Subject: [PATCH v2 01/25] gnu: Add ghc-crypton.
Date: Tue,  9 Jul 2024 15:53:45 +0200
Message-ID: <20240709140812.6183-2-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
In-Reply-To: <20240709140812.6183-1-romain.garbage@HIDDEN>
References: <20240709140812.6183-1-romain.garbage@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>,
 44518 <at> debbugs.gnu.org
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 (-)

* gnu/packages/haskell-crypto.scm (ghc-crypton): New variable.

Change-Id: I91902a8dbc0df2d19729933e6cd096810fdc1059
---
 gnu/packages/haskell-crypto.scm | 40 +++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.scm
index 83ba8bc10b..12ffd10743 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -612,6 +612,46 @@ (define-public ghc-crypto-random
 abstraction for CPRNGs.")
     (license license:bsd-3)))
 
+(define-public ghc-crypton
+  (package
+    (name "ghc-crypton")
+    (version "0.34")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton" version))
+       (sha256
+        (base32 "1mhypjhzn95in853bp7ary0a2xc6lsji6j8hrrgn2mfa4ilq8i24"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton")))
+    (inputs (list ghc-memory ghc-basement))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-tasty-hunit
+                         ghc-tasty-kat))
+    (home-page "https://github.com/kazu-yamamoto/crypton")
+    (synopsis "Cryptography Primitives sink")
+    (description
+     "This package provides a repository of cryptographic primitives.
+@itemize @bullet
+
+@item Symmetric ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4,
+Salsa, XSalsa, ChaCha.
+
+@item Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, Skein, Ripemd, Tiger,
+Whirlpool, Blake2.
+
+@item MAC: HMAC, KMAC, Poly1305
+
+@item Asymmetric crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448,
+Ed25519, Ed448
+
+@item Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt, BCryptPBKDF
+
+@item Cryptographic Random generation: System Entropy, Deterministic Random Generator
+
+@item Data related: Anti-Forensic Information Splitter (AFIS)
+@end itemize")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
-- 
2.45.1





Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 09:03:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 09 05:03:06 2024
Received: from localhost ([127.0.0.1]:52135 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sR6kO-00074S-O0
	for submit <at> debbugs.gnu.org; Tue, 09 Jul 2024 05:03:06 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:29615)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>)
 id 1sR6kM-000748-11; Tue, 09 Jul 2024 05:02:51 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=mime-version:content-transfer-encoding:date:message-id:
 cc:subject:from:to:references:in-reply-to;
 bh=wzrPTVPMxCjQMe13of+0jhdtIlDGvy0UDkncjbkpLqw=;
 b=fBqM1to6LecDu9THTNXyWzVskXD9BHZ8SdPcvjgjyd63a9SjfrGERHrC
 tyFLLsRsQhyhsBbIDtV7R+wW0p3K47Ghw4YDBbnOaOdx+q+ur6zah2ePp
 lZecd4OA9JCzA+0rZ/Ez4hXU8M9MOlwO2e2jjj/NjVbcYO92MLF7BmUu9 o=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,194,1716242400"; d="scan'208";a="91698300"
Received: from lfbn-bay-1-62-70.w83-193.abo.wanadoo.fr (HELO localhost)
 ([83.193.153.70]) by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Jul 2024 11:02:37 +0200
Mime-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8
Date: Tue, 09 Jul 2024 11:02:36 +0200
Message-Id: <D2KVXMWSD66D.14U3EO3MT8PA1@guix-A102>
Subject: Re: [PATCH] gnu: Add matterhorn.
From: "Romain GARBAGE" <romain.garbage@HIDDEN>
To: "Ricardo Wurmus" <rekado@HIDDEN>
X-Mailer: aerc 0.15.2
References: <20240704103616.32655-1-romain.garbage@HIDDEN>
 <87zfqurufm.fsf@HIDDEN>
In-Reply-To: <87zfqurufm.fsf@HIDDEN>
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: 71938 <at> debbugs.gnu.org, 44518 <at> debbugs.gnu.org
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 (-)

Hi Ricardo,

On Sun Jul 7, 2024 at 1:07 AM CEST, Ricardo Wurmus wrote:
> Hi Romain,
>
> > * gnu/packages/haskell-apps.scm (matterhorn): New variable.
> > * gnu/packages/haskell-crypto.scm (ghc-crypton, ghc-crypton-x509,
> > ghc-crypton-x509-store, ghc-crypton-x509-system,
> > ghc-crypton-x509-validation, ghc-tls-1.9): New variables.
> > * gnu/packages/haskell-web.scm (ghc-crypton-connection,
> > ghc-mattermost-api, ghc-mattermost-api-qc, ghc-modern-uri): New variabl=
es.
> > * gnu/packages/haskell-xyz.scm (ghc-aspell-pipe, ghc-bimap,
> > ghc-checkers, ghc-monad-parallel, ghc-text-zipper-13, ghc-stm-delay,
> > ghc-unique, ghc-unix-compat-7, ghc-vty-6, ghc-vty-crossplatform,
> > ghc-vty-unix, ghc-hclip, ghc-brick, ghc-brick-skylighting): New variabl=
es.
>
> thank you for the patch!  This looks all pretty good.

Thank you for your review. I will send a v2 fixing the comments I don't ans=
wer
below.

> There are a few minor quibbles:
>
[...]
> * ghc-tls-1.9, ghc-unix-compat-7, ghc-vty-6, ghc-text-zipper-13: Is it
>   desirable to have these packages instead of upgrading the existing
>   packages?  Is there pending work on the Haskell team branch(es) that
>   would make the use of these versioned variants obsolete?

I don't have myself an answer for the first question: I didn't try to upgra=
de
any of these packages locally as I didn't want to "break things in Guix".
I guess I could give it a try before sending the v2 if you think it is
better. WDYT?

As for the 2nd question, I checked the haskell-team branch and didn't
see any update of these packages (I might not have checked the right
thing though).

--=20
Romain




Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at 71938) by debbugs.gnu.org; 6 Jul 2024 23:07:39 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 06 19:07:39 2024
Received: from localhost ([127.0.0.1]:46947 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sQEVG-0007UD-QF
	for submit <at> debbugs.gnu.org; Sat, 06 Jul 2024 19:07:39 -0400
Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21145)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <rekado@HIDDEN>)
 id 1sQEVE-0007Tv-Kb; Sat, 06 Jul 2024 19:07:37 -0400
ARC-Seal: i=1; a=rsa-sha256; t=1720307250; cv=none; 
 d=zohomail.com; s=zohoarc; 
 b=dcd5GwUoyJDQtvD1xOon6xP2y5STHNmuNJLB0a6TmPwhYE+MSMWF/gmC0PmFPBiPzrZwfdjHhcI4p3pozGXC43eoF4Vri+plyWckwzgPc02WcK7V+IOEhtC+mtZpmlPr5TazFLoarRLRUMHGfWl5+JwsW+J/lo5r1i4UQTGGitU=
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com;
 s=zohoarc; t=1720307250;
 h=Content-Type:Cc:Cc:Date:Date:From:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:Subject:To:To:Message-Id:Reply-To;
 bh=Z/yVZMoU1TDB2n4DABSw4bH2KbcUQZH9jObtLy11ckM=; 
 b=LX+tdJ3TzUoaOaE/PtfuAiaUspbOaBC0aTCob0e7OmPVJkJDJrmX/Sg1mIHTB1kxW+Njcv11qIlOLOzQsSsn0U5IWkiQAlC2Dw3h37h+1UfueDSdf0RDvBld7rw7pcKyX0UIVV7mNln4E5jP0HdwOuS+oMX3hEuDLd/1dtKpu/U=
ARC-Authentication-Results: i=1; mx.zohomail.com;
 dkim=pass  header.i=elephly.net;
 spf=pass  smtp.mailfrom=rekado@HIDDEN;
 dmarc=pass header.from=<rekado@HIDDEN>
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1720307250; 
 s=zoho; d=elephly.net; i=rekado@HIDDEN;
 h=From:From:To:To:Cc:Cc:Subject:Subject:In-Reply-To:References:Date:Date:Message-ID:MIME-Version:Content-Type:Message-Id:Reply-To;
 bh=Z/yVZMoU1TDB2n4DABSw4bH2KbcUQZH9jObtLy11ckM=;
 b=LCgK+teScl3KMR67kz8S7r8BHcZrGz6Vbfbq2EphW3ceEAWogXumZJVyk1iatvGc
 bBCzlJe5FfMpkbf0o8DbZewULvJ9Y1EiZkamShoPP51shLVQ3K1ysb/sz3Pg+IJjPGY
 jIHy+9Y3mfdsQ7heGRomdsm+07o1oHMdDDVO/K9Y=
Received: by mx.zohomail.com with SMTPS id 1720307248405523.9063514931885;
 Sat, 6 Jul 2024 16:07:28 -0700 (PDT)
From: Ricardo Wurmus <rekado@HIDDEN>
To: Romain GARBAGE <romain.garbage@HIDDEN>
Subject: Re: [PATCH] gnu: Add matterhorn.
In-Reply-To: <20240704103616.32655-1-romain.garbage@HIDDEN> (Romain
 GARBAGE's message of "Thu, 4 Jul 2024 12:36:16 +0200")
References: <20240704103616.32655-1-romain.garbage@HIDDEN>
Date: Sun, 07 Jul 2024 01:07:25 +0200
Message-ID: <87zfqurufm.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-ZohoMailClient: External
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 71938
Cc: 71938 <at> debbugs.gnu.org, 44518 <at> debbugs.gnu.org
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 (-)

Hi Romain,

> * gnu/packages/haskell-apps.scm (matterhorn): New variable.
> * gnu/packages/haskell-crypto.scm (ghc-crypton, ghc-crypton-x509,
> ghc-crypton-x509-store, ghc-crypton-x509-system,
> ghc-crypton-x509-validation, ghc-tls-1.9): New variables.
> * gnu/packages/haskell-web.scm (ghc-crypton-connection,
> ghc-mattermost-api, ghc-mattermost-api-qc, ghc-modern-uri): New variables.
> * gnu/packages/haskell-xyz.scm (ghc-aspell-pipe, ghc-bimap,
> ghc-checkers, ghc-monad-parallel, ghc-text-zipper-13, ghc-stm-delay,
> ghc-unique, ghc-unix-compat-7, ghc-vty-6, ghc-vty-crossplatform,
> ghc-vty-unix, ghc-hclip, ghc-brick, ghc-brick-skylighting): New variables.

thank you for the patch!  This looks all pretty good.

There are a few minor quibbles:

* Please make one commit for every added package.
* matterhorn: Please sort inputs alphabetically.
* ghc-crypton: please use Texinfo syntax such as @itemize for the list
  of features.
* ghc-crypton-x509: it would be good to know if there is something we
  can do to make tests pass.  If the tests are pointless it would be
  good to record that.  Please also make sure that the description is
  ... descriptive.
* ghc-tls-1.9, ghc-unix-compat-7, ghc-vty-6, ghc-text-zipper-13: Is it
  desirable to have these packages instead of upgrading the existing
  packages?  Is there pending work on the Haskell team branch(es) that
  would make the use of these versioned variants obsolete?
* Please check whether potentially unwanted changes should really be
  included, such as the cosmetic changes to ghc-githash.

I also just found that there's an old patch set for matterhorn; I cc'd
the issue email address.

-- 
Ricardo




Information forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.

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


Received: (at submit) by debbugs.gnu.org; 4 Jul 2024 10:38:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jul 04 06:38:53 2024
Received: from localhost ([127.0.0.1]:41567 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sPJrY-00027Y-5H
	for submit <at> debbugs.gnu.org; Thu, 04 Jul 2024 06:38:53 -0400
Received: from lists.gnu.org ([209.51.188.17]:35436)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <romain.garbage@HIDDEN>) id 1sPJrU-00027P-VT
 for submit <at> debbugs.gnu.org; Thu, 04 Jul 2024 06:38:50 -0400
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 <romain.garbage@HIDDEN>)
 id 1sPJpM-0006Jn-CM
 for guix-patches@HIDDEN; Thu, 04 Jul 2024 06:36:36 -0400
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <romain.garbage@HIDDEN>)
 id 1sPJpA-0001PY-GC
 for guix-patches@HIDDEN; Thu, 04 Jul 2024 06:36:36 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc;
 h=from:to:cc:subject:date:message-id:mime-version:
 content-transfer-encoding;
 bh=Fe/6vTR4t8a7pwQ+a47Btr7UNIVF0h1ceB417SjWFGE=;
 b=QYS2b2P62nJPlSfwagRQB9KEQsrKVlj5NWuhqXed9VbvPsiqTqvummCd
 wJDwFFX4eU/EprqreXVeDLJ73P1POs873q3EFXoVtmOc79rUUEf2AJg28
 BFXrs0YAHHkN5QvsgsJhQ3uxqYtufB8RH1+QuRWYE+Zof/ENMf/RpaRHf 4=;
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=romain.garbage@HIDDEN;
 dmarc=fail (p=none dis=none) d=inria.fr
X-IronPort-AV: E=Sophos;i="6.09,183,1716242400"; d="scan'208";a="91350339"
Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.191])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Jul 2024 12:36:20 +0200
From: Romain GARBAGE <romain.garbage@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH] gnu: Add matterhorn.
Date: Thu,  4 Jul 2024 12:36:16 +0200
Message-ID: <20240704103616.32655-1-romain.garbage@HIDDEN>
X-Mailer: git-send-email 2.45.1
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=192.134.164.104;
 envelope-from=romain.garbage@HIDDEN; helo=mail3-relais-sop.national.inria.fr
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
Cc: rekado@HIDDEN, Romain GARBAGE <romain.garbage@HIDDEN>
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.3 (--)

* gnu/packages/haskell-apps.scm (matterhorn): New variable.
* gnu/packages/haskell-crypto.scm (ghc-crypton, ghc-crypton-x509,
ghc-crypton-x509-store, ghc-crypton-x509-system,
ghc-crypton-x509-validation, ghc-tls-1.9): New variables.
* gnu/packages/haskell-web.scm (ghc-crypton-connection,
ghc-mattermost-api, ghc-mattermost-api-qc, ghc-modern-uri): New variables.
* gnu/packages/haskell-xyz.scm (ghc-aspell-pipe, ghc-bimap,
ghc-checkers, ghc-monad-parallel, ghc-text-zipper-13, ghc-stm-delay,
ghc-unique, ghc-unix-compat-7, ghc-vty-6, ghc-vty-crossplatform,
ghc-vty-unix, ghc-hclip, ghc-brick, ghc-brick-skylighting): New variables.

Change-Id: Ida259244865e01cfcc4507eefc01022d216a540c
---
 gnu/packages/haskell-apps.scm   |  92 +++++++++
 gnu/packages/haskell-crypto.scm | 169 +++++++++++++++
 gnu/packages/haskell-web.scm    | 122 ++++++++++-
 gnu/packages/haskell-xyz.scm    | 356 ++++++++++++++++++++++++++++++--
 4 files changed, 726 insertions(+), 13 deletions(-)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 3fce4f803c..8a41ea247c 100644
--- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -37,6 +37,7 @@
=20
 (define-module (gnu packages haskell-apps)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module (guix packages)
   #:use-module ((guix licenses) #:prefix license:)
@@ -682,6 +683,97 @@ (define-public kmonad
 Wayland, and Linux console environments alike.")
       (license license:expat))))
=20
+(define-public matterhorn
+  (package
+    (name "matterhorn")
+    (version "90000.0.0")
+    (source
+     (origin
+       ;; use git repo instead of hackage URL because the hackage tarball
+       ;; doesn't contain the sample config file
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/matterhorn-chat/matterhorn")
+             (commit version)))
+       (sha256
+        (base32 "08ng5axranilvfl9j3v0mjgpg76kzacrqj4c8x6pblpc3yxx02i5"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "matterhorn")))
+    (inputs (list ghc-mattermost-api
+                  ghc-base-compat
+                  ghc-unordered-containers
+                  ghc-split
+                  ghc-data-clist
+                  ghc-semigroups
+                  ghc-crypton-connection
+                  ghc-config-ini
+                  ghc-microlens-platform
+                  ghc-brick
+                  ghc-brick-skylighting
+                  ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-word-wrap
+                  ghc-text-zipper
+                  ghc-xdg-basedir
+                  ghc-vector
+                  ghc-strict
+                  ghc-hashable
+                  ghc-commonmark
+                  ghc-commonmark-extensions
+                  ghc-utf8-string
+                  ghc-temporary
+                  ghc-gitrev
+                  ghc-hclip
+                  ghc-aspell-pipe
+                  ghc-stm-delay
+                  ghc-unix-compat-7
+                  ghc-skylighting-core
+                  ghc-timezone-olson
+                  ghc-timezone-series
+                  ghc-aeson
+                  ghc-async
+                  ghc-uuid
+                  ghc-random
+                  ghc-network-uri
+                  ghc-bimap))
+    (native-inputs (list ghc-unique
+                         ghc-checkers
+                         ghc-tasty
+                         ghc-tasty-hunit
+                         ghc-tasty-quickcheck
+                         ghc-mattermost-api-qc))
+    (arguments
+     (list
+      #:phases #~(modify-phases %standard-phases
+                   (add-after 'unpack 'fix-requirements
+                     (lambda _
+                       (for-each (lambda (dep)
+                                   (substitute* "matterhorn.cabal"
+                                     (((string-append "(,\\s" dep
+                                                      "\\s*>=3D\\s[0-9].[0=
-9]).*")
+                                       all pat)
+                                      pat)))
+                                 (list "random"
+                                       "data-clist"
+                                       "semigroups"
+                                       "word-wrap"
+                                       "unix-compat"
+                                       "skylighting-core"
+                                       "checkers"
+                                       "vty"
+                                       "vty-crossplatform"
+                                       "brick"))))
+                   (add-after 'install 'install-config-file
+                     (lambda _
+                       (install-file "./docs/sample-config.ini"
+                                     (string-append #$output "/share/doc/"=
 #$name "-" #$version "/etc/")))))))
+    (home-page "http://hackage.haskell.org/package/matterhorn")
+    (synopsis "Terminal client for the Mattermost chat system")
+    (description
+     "This is a terminal client for the Mattermost chat system.  Please se=
e the README
+for a list of features and information on getting started.")
+    (license license:bsd-3)))
+
 (define-public nixfmt
   (package
     (name "nixfmt")
diff --git a/gnu/packages/haskell-crypto.scm b/gnu/packages/haskell-crypto.=
scm
index 83ba8bc10b..9d99cc67c3 100644
--- a/gnu/packages/haskell-crypto.scm
+++ b/gnu/packages/haskell-crypto.scm
@@ -612,6 +612,138 @@ (define-public ghc-crypto-random
 abstraction for CPRNGs.")
     (license license:bsd-3)))
=20
+
+(define-public ghc-crypton
+  (package
+    (name "ghc-crypton")
+    (version "0.34")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton" version))
+       (sha256
+        (base32 "1mhypjhzn95in853bp7ary0a2xc6lsji6j8hrrgn2mfa4ilq8i24"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton")))
+    (inputs (list ghc-memory ghc-basement))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-tasty-hunit
+                         ghc-tasty-kat))
+    (home-page "https://github.com/kazu-yamamoto/crypton")
+    (synopsis "Cryptography Primitives sink")
+    (description
+     "This package provides a repository of cryptographic primitives. . * =
Symmetric
+ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4, Salsa, X=
Salsa,
+@code{ChaCha}. . * Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, S=
kein,
+Ripemd, Tiger, Whirlpool, Blake2 . * MAC: HMAC, KMAC, Poly1305 . * Asymmet=
ric
+crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448, Ed25519, Ed4=
48 . *
+Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt,
+B@code{CryptPBKDF} . * Cryptographic Random generation: System Entropy,
+Deterministic Random Generator . * Data related: Anti-Forensic Information
+Splitter (AFIS) .  If anything cryptographic related is missing from here,
+submit a pull request to have it added.  This package strives to be a
+cryptographic kitchen sink that provides cryptography for everyone. .  Eva=
luate
+the security related to your requirements before using. .  Read
+\"Crypto.Tutorial\" for a quick start guide.")
+    (license license:bsd-3)))
+
+(define-public ghc-crypton-x509
+  (package
+    (name "ghc-crypton-x509")
+    (version "1.7.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509" version))
+       (sha256
+        (base32 "1zyaz0krf08g36g30zr5wn8f2x51l4dj2zcjnhpiw9h05p54mdzb"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-asn1-parse
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-x509))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "10a2x47znhbayyfr6fqgq27623akpycyjbfxz4hnavavf1x6=
ary5")
+       #:tests? #f))                    ;tests fail
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X509 reader and writer")
+    (description "X509 reader and writer.  please see README")
+    (license license:bsd-3)))
+
+(define-public ghc-crypton-x509-store
+  (package
+    (name "ghc-crypton-x509-store")
+    (version "1.6.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-store" version))
+       (sha256
+        (base32 "0vr5b9cyf9x016wn1g0bryslf5nz8jq2sy8r3llwqfg02apihqiy"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-store")))
+    (inputs (list ghc-pem ghc-asn1-types ghc-asn1-encoding ghc-crypton
+                  ghc-crypton-x509))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 collection accessing and storing methods")
+    (description
+     "X.509 collection accessing and storing methods for certificate, crl,=
 exception
+list")
+    (license license:bsd-3)))
+
+(define-public ghc-crypton-x509-system
+  (package
+    (name "ghc-crypton-x509-system")
+    (version "1.6.7")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-system" version))
+       (sha256
+        (base32 "1jilnr9715njlx1hqvg5lrsrwk12r04maypmh18di0sybwg2cdm4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-system")))
+    (inputs (list ghc-pem ghc-crypton-x509 ghc-crypton-x509-store))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "Handle per-operating-system X.509 accessors and storage")
+    (description
+     "System X.509 handling for accessing operating system dependents stor=
e and other
+storage methods")
+    (license license:bsd-3)))
+
+(define-public ghc-crypton-x509-validation
+  (package
+    (name "ghc-crypton-x509-validation")
+    (version "1.6.12")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-x509-validation" version))
+       (sha256
+        (base32 "1xjhwvmkcy47a6xiqxb3xy944ca7g660203jdrz5xzd46zibfq0f"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-x509-validation")))
+    (inputs (list ghc-memory
+                  ghc-hourglass
+                  ghc-data-default-class
+                  ghc-pem
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit))
+    (home-page "https://github.com/kazu-yamamoto/crypton-certificate")
+    (synopsis "X.509 Certificate and CRL validation")
+    (description "X.509 Certificate and CRL validation.  please see README=
")
+    (license license:bsd-3)))
+
 (define-public ghc-cprng-aes
   (package
     (name "ghc-cprng-aes")
@@ -721,6 +853,43 @@ (define-public ghc-tls
 extensions.")
     (license license:bsd-3)))
=20
+(define-public ghc-tls-1.9
+  (package
+    (name "ghc-tls")
+    (version "1.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "tls" version))
+       (sha256
+        (base32 "0gj3af9sqd0bw7dpcqfyvbslpxsk2ij00a77kl710fwhw35vj1an"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "tls")))
+    (inputs (list ghc-cereal
+                  ghc-data-default-class
+                  ghc-memory
+                  ghc-crypton
+                  ghc-asn1-types
+                  ghc-asn1-encoding
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-validation
+                  ghc-async
+                  ghc-unix-time
+                  ghc-network))
+    (native-inputs (list ghc-tasty ghc-tasty-quickcheck ghc-quickcheck))
+    (home-page "http://github.com/vincenthz/hs-tls")
+    (synopsis "TLS/SSL protocol native implementation (Server and Client)")
+    (description
+     "Native Haskell TLS and SSL protocol implementation for server and cl=
ient.
+This provides a high-level implementation of a sensitive security protocol,
+eliminating a common set of security issues through the use of the advanced
+type system, high level constructions and common Haskell features.  Curren=
tly
+implement the SSL3.0, TLS1.0, TLS1.1 and TLS1.2 protocol, and support RSA =
and
+Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and m=
any
+extensions.")
+    (license license:bsd-3)))
+
 (define-public ghc-hsopenssl
   (package
     (name "ghc-hsopenssl")
diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index 0aaa609e42..afa9520f53 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -89,6 +89,35 @@ (define-public ghc-cookie
     (description "HTTP cookie parsing and rendering library for Haskell.")
     (license license:expat)))
=20
+(define-public ghc-crypton-connection
+  (package
+    (name "ghc-crypton-connection")
+    (version "0.3.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "crypton-connection" version))
+       (sha256
+        (base32 "07lrkv6lwphsyp4797yp8ywnndzd270bk58r8gwyby0hr4xy52r0"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "crypton-connection")))
+    (inputs (list ghc-basement
+                  ghc-data-default-class
+                  ghc-network
+                  ghc-tls-1.9
+                  ghc-socks
+                  ghc-crypton-x509
+                  ghc-crypton-x509-store
+                  ghc-crypton-x509-system
+                  ghc-crypton-x509-validation))
+    (home-page "https://github.com/kazu-yamamoto/crypton-connection")
+    (synopsis "Simple and easy network connections API")
+    (description
+     "Simple network library for all your connection need. Features: Reall=
y simple to
+use, SSL/TLS, SOCKS. This library provides a very simple api to create soc=
kets to a
+destination with the choice of SSL/TLS, and SOCKS.")
+    (license license:bsd-3)))
+
 (define-public ghc-curl
   (package
     (name "ghc-curl")
@@ -814,6 +843,69 @@ (define-public ghc-css-text
 Haskell.")
     (license license:bsd-3)))
=20
+(define-public ghc-mattermost-api
+  (package
+    (name "ghc-mattermost-api")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api" version))
+       (sha256
+        (base32 "1ka3r4bnfwlbjnkws8vkg8i9gj8wzsyss137p7hxrx4sr75s6iyv"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api")))
+    (inputs (list ghc-websockets
+                  ghc-aeson
+                  ghc-crypton-connection
+                  ghc-memory
+                  ghc-resource-pool
+                  ghc-http
+                  ghc-http-media
+                  ghc-network-uri
+                  ghc-modern-uri
+                  ghc-unordered-containers
+                  ghc-hashable
+                  ghc-gitrev
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-pretty-show
+                  ghc-split
+                  ghc-connection))
+    (native-inputs (list ghc-tasty ghc-tasty-hunit ghc-hunit))
+    (arguments
+     (list
+      #:tests? #f)) ;tests fail: unable to setup network socket
+    (home-page "http://hackage.haskell.org/package/mattermost-api")
+    (synopsis "Client API for Mattermost chat system")
+    (description
+     "Client API for Mattermost chat system.  Mattermost is a flexible, op=
en source
+messaging platform that meets even the most demanding privacy and security
+standards.  This library provides network API interaction with the Matterm=
ost
+server.")
+    (license license:bsd-3)))
+
+(define-public ghc-mattermost-api-qc
+  (package
+    (name "ghc-mattermost-api-qc")
+    (version "90000.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "mattermost-api-qc" version))
+       (sha256
+        (base32 "0lrb8l8nbrdp4y2ala8hchr8ikv5hqw710ffiiw1sz6z2dqiqbxm"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "mattermost-api-qc")))
+    (inputs (list ghc-mattermost-api ghc-quickcheck))
+    (home-page "https://github.com/matterhorn-chat/mattermost-api-qc")
+    (synopsis "QuickCheck instances for the Mattermost client API library")
+    (description
+     "This package provides a library providing @code{QuickCheck} for the
+mattermost-api library to allow testing.  This is provided as a separate l=
ibrary
+to allow use of the API library without testing dependencies.")
+    (license license:isc)))
+
 (define-public ghc-mime-types
   (package
     (name "ghc-mime-types")
@@ -832,6 +924,35 @@ (define-public ghc-mime-types
      "This library provides basic MIME type handling types and functions.")
     (license license:expat)))
=20
+(define-public ghc-modern-uri
+  (package
+    (name "ghc-modern-uri")
+    (version "0.3.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "modern-uri" version))
+       (sha256
+        (base32 "1sag8l91qd7xs56rlx8r6dz9zxxmqsnfw0v47az7l8nirv7zjih2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "modern-uri")))
+    (inputs (list ghc-quickcheck
+                  ghc-hashable
+                  ghc-megaparsec
+                  ghc-profunctors
+                  ghc-reflection
+                  ghc-tagged))
+    (native-inputs (list ghc-hspec
+                         ghc-hspec-megaparsec
+                         ghc-hspec-discover))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0c0mr8aqs963nmy7i8yfih24snaijgwkxim2q2khw12capsh=
ac0q")))
+    (home-page "https://github.com/mrkkrp/modern-uri")
+    (synopsis "Modern library for working with URIs")
+    (description "Modern library for working with URIs.")
+    (license license:bsd-3)))
+
 (define-public ghc-html
   (package
     (name "ghc-html")
@@ -2161,4 +2282,3 @@ (define-public ghc-network-run
     (description
      "This package provides a simple network runner library in Haskell.")
     (license license:bsd-3)))
-
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index fa423ae2ca..f5539b85c0 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -450,6 +450,26 @@ (define-public ghc-appar
 style.")
     (license license:bsd-3)))
=20
+(define-public ghc-aspell-pipe
+  (package
+    (name "ghc-aspell-pipe")
+    (version "0.6")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "aspell-pipe" version))
+       (sha256
+        (base32 "09dw4v4j5pmqi8pdh3p7kk7f8pph5w33s7vd21fgvhv3arnrj6p8"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "aspell-pipe")))
+    (inputs (list ghc-async))
+    (home-page "http://hackage.haskell.org/package/aspell-pipe")
+    (synopsis "Pipe-based interface to the Aspell program")
+    (description
+     "This package provides a pipe-based interface to the Aspell program (=
no dynamic
+linking required).")
+    (license license:bsd-3)))
+
 (define-public ghc-assoc
   (package
     (name "ghc-assoc")
@@ -952,6 +972,27 @@ (define-public ghc-bifunctors
     (description "This package provides bifunctors for Haskell.")
     (license license:bsd-3)))
=20
+(define-public ghc-bimap
+  (package
+    (name "ghc-bimap")
+    (version "0.5.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "bimap" version))
+       (sha256
+        (base32 "158cdwk9jwklcfgbn62dqq255i40w13ifggsdps87sxc5q7lpd5h"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "bimap")))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/joelwilliamson/bimap")
+    (synopsis "Bidirectional mapping between two key types")
+    (description
+     "This package provides a data structure representing a bidirectional =
mapping
+between two key types.  Each value in the bimap is associated with exactly=
 one
+value of the opposite type.")
+    (license license:bsd-3)))
+
 (define-public ghc-bindings-dsl
   (package
     (name "ghc-bindings-dsl")
@@ -1482,8 +1523,8 @@ (define-public ghc-cassava
=20
 @verbatim
 >>> Data.Csv.encode [(\"John\",27),(\"Jane\",28)]
-\"John,27=0D
-Jane,28=0D
+\"John,27
+Jane,28
 \"
 @end verbatim
 ")
@@ -1789,6 +1830,31 @@ (define-public ghc-cheapskate
 cross-site scripting (@dfn{XSS}) attacks.")
     (license license:bsd-3)))
=20
+(define-public ghc-checkers
+  (package
+    (name "ghc-checkers")
+    (version "0.6.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "checkers" version))
+       (sha256
+        (base32 "1r4rsa4k0fy8xig3m530ryflry9viv9v47g4gh7h0ld27rbd6z60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "checkers")))
+    (inputs (list ghc-random ghc-quickcheck ghc-semigroupoids))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "0wkvf57zd7i87z18vj285whjpcl9pscpwxz2cp7v7w6kk076=
9p0i")))
+    (home-page "https://github.com/haskell-checkers/checkers")
+    (synopsis "Check properties on standard classes and data structures")
+    (description
+     "Checkers wraps up the expected properties associated with various st=
andard type
+classes as @code{QuickCheck} properties.  Also some morphism properties.  =
It
+also provides arbitrary instances and generator combinators for common data
+types. . &#169; 2008-2013 by Conal Elliott; BSD3 license.")
+    (license license:bsd-3)))
+
 (define-public ghc-chell
   (package
     (name "ghc-chell")
@@ -7497,6 +7563,28 @@ (define-public ghc-monad-par-extras
 and other added capabilities layered on top of the @code{Par} monad.")
     (license license:bsd-3)))
=20
+(define-public ghc-monad-parallel
+  (package
+    (name "ghc-monad-parallel")
+    (version "0.8")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "monad-parallel" version))
+       (sha256
+        (base32 "1j905cwc440g7rvbhsdkqf50ag7p2bi6cy2rqsk918rn80fqqra4"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "monad-parallel")))
+    (inputs (list ghc-parallel ghc-transformers-compat))
+    (home-page "https://hub.darcs.net/blamario/SCC.wiki/")
+    (synopsis "Parallel execution of monadic computations")
+    (description
+     "This package defines classes of monads that can perform multiple exe=
cutions in
+parallel and combine their results.  For any monad that's an instance of t=
he
+class, the package re-implements a subset of the Control.Monad interface, =
but
+with parallel execution.")
+    (license license:bsd-3)))
+
 (define-public ghc-monadrandom
   (package
     (name "ghc-monadrandom")
@@ -8454,6 +8542,25 @@ (define-public ghc-text-zipper
 Implementations using both of these examples are provided.")
     (license license:bsd-3)))
=20
+(define-public ghc-text-zipper-13
+  (package
+    (name "ghc-text-zipper-13")
+    (version "0.13")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "text-zipper" version))
+       (sha256
+        (base32 "1acq583wmgb53viqslbkgl454300fawg5lryxddfiy1mqk3iqlh6"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "text-zipper")))
+    (inputs (list ghc-vector))
+    (native-inputs (list ghc-hspec ghc-quickcheck hspec-discover))
+    (home-page "https://github.com/jtdaugherty/text-zipper/")
+    (synopsis "Text editor zipper library")
+    (description "This library provides a zipper and API for editing text.=
")
+    (license license:bsd-3)))
+
 (define-public ghc-doclayout
   (package
     (name "ghc-doclayout")
@@ -11669,6 +11776,31 @@ (define-public ghc-stm-conduit
 source and a sink.")
     (license license:bsd-3)))
=20
+(define-public ghc-stm-delay
+  (package
+    (name "ghc-stm-delay")
+    (version "0.1.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "stm-delay" version))
+       (sha256
+        (base32 "0cla21v89gcvmr1iwzibq13v1yq02xg4h6k9l6kcprj7mhd5hcmi"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "stm-delay")))
+    (home-page "https://github.com/joeyadams/haskell-stm-delay")
+    (synopsis "Updatable one-shot timer polled with STM")
+    (description
+     "This library lets you create a one-shot timer, poll it using STM, an=
d update it
+to ring at a different time than initially specified. .  It uses GHC event
+manager timeouts when available (GHC 7.2+, @@-threaded@@, non-Windows OS),
+yielding performance similar to @@@code{threadDelay}@@ and
+@@@code{registerDelay}@@.  Otherwise, it falls back to forked threads and
+@@@code{threadDelay}@@. . [0.1.1] Add @code{tryWaitDelayIO}, improve perfo=
rmance
+for certain cases of @@@code{newDelay}@@ and @@@code{updateDelay}@@, and i=
mprove
+example.")
+    (license license:bsd-3)))
+
 (define-public ghc-stmonadtrans
   (package
     (name "ghc-stmonadtrans")
@@ -13277,6 +13409,30 @@ (define-public ghc-uniplate
 work, but is substantially simpler and faster.")
     (license license:bsd-3)))
=20
+(define-public ghc-unique
+  (package
+    (name "ghc-unique")
+    (version "0.4.7.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Unique" version))
+       (sha256
+        (base32 "14f1qnmhdmbam8qis725dhwq1mk9h86fsnzhkwhsx73ny9z29s1l"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Unique")))
+    (inputs (list ghc-extra ghc-hashable ghc-unordered-containers))
+    (native-inputs (list ghc-hspec ghc-quickcheck))
+    (arguments
+     `(#:tests? #f ;test  Data.List.UniqueUnsorted.removeDuplicates fails
+       #:cabal-revision ("1"
+                         "10s0npnfkh7naj49afmyrvnilikp6426fbhi49f97pxrgcmy=
4dvw")))
+    (home-page "http://hackage.haskell.org/package/Unique")
+    (synopsis "It provides the functionality like unix \"uniq\" utility")
+    (description
+     "Library provides the functions to find unique and duplicate elements=
 in the list")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-compat
   (package
     (name "ghc-unix-compat")
@@ -13300,6 +13456,28 @@ (define-public ghc-unix-compat
 isn't available, portable implementations are used.")
     (license license:bsd-3)))
=20
+(define-public ghc-unix-compat-7
+  (package
+    (name "ghc-unix-compat")
+    (version "0.7.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "unix-compat" version))
+       (sha256
+        (base32 "0gz30f4g3gyjz60jbcg072ms67pwdn4by6wvdkg63hjshgl0cj60"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "unix-compat")))
+    (native-inputs (list ghc-monad-parallel ghc-hspec ghc-hunit ghc-extra
+                         ghc-temporary))
+    (home-page "https://github.com/haskell-pkg-janitors/unix-compat")
+    (synopsis "Portable POSIX-compatibility layer")
+    (description
+     "This package provides portable implementations of parts of the unix =
package.
+This package re-exports the unix package when available.  When it isn't
+available, portable implementations are used.")
+    (license license:bsd-3)))
+
 (define-public ghc-unix-time
   (package
     (name "ghc-unix-time")
@@ -13975,16 +14153,88 @@ (define-public ghc-vty
 to use and to provide good support for common terminal types.")
     (license license:bsd-3)))
=20
+(define-public ghc-vty-6
+  (package
+    (name "ghc-vty")
+    (version "6.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty" version))
+       (sha256
+        (base32 "0ywqfdngfv5pnsk5pa99yizpbhdq856sy3z70q2hmpmlc2r4h7vg"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty")))
+    (inputs (list ghc-blaze-builder ghc-microlens ghc-microlens-mtl
+                  ghc-utf8-string ghc-vector))
+    (home-page "https://github.com/jtdaugherty/vty")
+    (synopsis "A simple terminal UI library")
+    (description
+     "vty is terminal GUI library in the niche of ncurses.  It is intended=
 to be easy
+to use and to provide good support for common terminal types. .  See the
+@@vty-examples@@ package as well as the program
+@@examples/interactive_terminal_test.hs@@ included in the @@vty@@ reposito=
ry for
+examples on how to use the library. .  Import the @@Graphics.Vty@@ conveni=
ence
+module to get access to the core parts of the library. . &#169; 2006-2007 =
Stefan
+O'Rear; BSD3 license. . &#169; Corey O'Connor; BSD3 license. . &#169; Jona=
than
+Daugherty; BSD3 license.")
+    (license license:bsd-3)))
+
+(define-public ghc-vty-crossplatform
+  (package
+    (name "ghc-vty-crossplatform")
+    (version "0.4.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-crossplatform" version))
+       (sha256
+        (base32 "06iwxgqrqzz05hmic7z5hxd48x0i49sk935vm0xfi0xq28sl7r9m"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-crossplatform")))
+    (inputs (list ghc-vty-6 ghc-vty-unix ghc-random ghc-string-qq))
+    (home-page "http://hackage.haskell.org/package/vty-crossplatform")
+    (synopsis "Cross-platform support for Vty")
+    (description
+     "This package provides a generic interface for multiple Vty platforms=
 in one
+package so you don't have to conditionally depend on them in your cabal fi=
le.")
+    (license license:bsd-3)))
+
+(define-public ghc-vty-unix
+  (package
+    (name "ghc-vty-unix")
+    (version "0.2.0.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "vty-unix" version))
+       (sha256
+        (base32 "1hfxc7qw884vlq8qshhyndl3zs10jc2xr6i69vhasjywkvh6gay2"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "vty-unix")))
+    (inputs (list ghc-blaze-builder
+                  ghc-vty-6
+                  ghc-vector
+                  ghc-utf8-string
+                  ghc-microlens
+                  ghc-microlens-mtl
+                  ghc-microlens-th
+                  ghc-ansi-terminal))
+    (home-page "http://hackage.haskell.org/package/vty-unix")
+    (synopsis "Unix backend for Vty")
+    (description "This package provides Unix terminal support for Vty.")
+    (license license:bsd-3)))
+
 (define-public ghc-wave
   (package
     (name "ghc-wave")
     (version "0.2.0")
     (source (origin
-      (method url-fetch)
-      (uri (hackage-uri "wave" version))
-      (sha256
-        (base32
-          "149kgwngq3qxc7gxpkqb16j669j0wpv2f3gnvfwp58yg6m4259ki"))))
+              (method url-fetch)
+              (uri (hackage-uri "wave" version))
+              (sha256
+               (base32
+                "149kgwngq3qxc7gxpkqb16j669j0wpv2f3gnvfwp58yg6m4259ki"))))
     (build-system haskell-build-system)
     (properties '((upstream-name . "wave")))
     (arguments
@@ -14922,6 +15172,30 @@ (define-public ghc-commonmark-pandoc
 Pandoc types.")
     (license license:bsd-3)))
=20
+(define-public ghc-hclip
+  (package
+    (name "ghc-hclip")
+    (version "3.0.0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "Hclip" version))
+       (sha256
+        (base32 "04ppwm7vfzndrys8x1n8vfb41vzwx59r9xp4dkbiqmrms390pj6q"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "Hclip")))
+    (inputs (list ghc-strict))
+    (home-page "https://github.com/jetho/Hclip")
+    (synopsis
+     "Small cross-platform library for reading and modifying the system cl=
ipboard")
+    (description
+     "This package provides a small cross-platform library for reading and=
 modifying
+the system clipboard. .  Hclip works on Windows, Mac OS X and Linux (but s=
ee the
+requirements below!). .  Requirements: . * Windows: No additional requirem=
ents.
+. * Mac OS X: Requires the pbcopy and pbpaste commands, which ship with Ma=
c OS
+X. . * Linux: Requires xclip or xsel installed.")
+    (license license:bsd-3)))
+
 (define-public ghc-hslua-module-path
   (package
     (name "ghc-hslua-module-path")
@@ -15632,6 +15906,65 @@ (define-public ghc-breakpoint
 [README](https://github.com/aaronallen8455/breakpoint#breakpoint) for deta=
ils.")
     (license license:expat)))
=20
+(define-public ghc-brick
+  (package
+    (name "ghc-brick")
+    (version "2.3.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick" version))
+       (sha256
+        (base32 "160np0bz1mcfkp077yc936i026s3zv1czn8lj3k3qr6scldavw35"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick")))
+    (inputs (list ghc-vty-6
+                  ghc-vty-crossplatform
+                  ghc-bimap
+                  ghc-data-clist
+                  ghc-microlens
+                  ghc-microlens-th
+                  ghc-microlens-mtl
+                  ghc-config-ini
+                  ghc-vector
+                  ghc-text-zipper-13
+                  ghc-unix-compat-7
+                  ghc-word-wrap
+                  ghc-random))
+    (native-inputs (list ghc-quickcheck))
+    (home-page "https://github.com/jtdaugherty/brick/")
+    (synopsis "Declarative terminal user interface library")
+    (description
+     "Write terminal user interfaces (TUIs) painlessly with brick'! You wr=
ite an event
+handler and a drawing function and the library does the rest. . . > module=
 Main
+where > > import Brick > > ui :: Widget () > ui =3D str \"Hello, world!\" =
> > main
+:: IO () > main =3D @code{simpleMain} ui . .  To get started, see: . *
+<https://github.com/jtdaugherty/brick/blob/master/README.md The README> . =
* The
+<https://github.com/jtdaugherty/brick/blob/master/docs/guide.rst Brick user
+guide> . * The demonstration programs in the programs directory . .  This
+package deprecates <http://hackage.haskell.org/package/vty-ui vty-ui>.")
+    (license license:bsd-3)))
+
+(define-public ghc-brick-skylighting
+  (package
+    (name "ghc-brick-skylighting")
+    (version "1.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "brick-skylighting" version))
+       (sha256
+        (base32 "1nw2x9zn0jlvykm89v80fh4187bxgn8l4cljgnf4mp4ci7aqjmkr"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "brick-skylighting")))
+    (inputs (list ghc-brick ghc-vty-6 ghc-skylighting-core))
+    (home-page "https://github.com/jtdaugherty/brick-skylighting/")
+    (synopsis "Show syntax-highlighted text in your Brick UI")
+    (description
+     "This package provides a module to use Skylighting to perform syntax =
highlighting
+and display the results in Brick-based interfaces.")
+    (license license:bsd-3)))
+
 (define-public ghc-githash
   (package
     (name "ghc-githash")
@@ -15650,10 +15983,10 @@ (define-public ghc-githash
      (list
       #:phases
       #~(modify-phases %standard-phases
-         (add-after 'unpack 'patch-git-path
-           (lambda _
-             (substitute* "src/GitHash.hs"
-               (("\"git\"") (string-append "\"" #$git "/bin/git\""))))))))
+          (add-after 'unpack 'patch-git-path
+            (lambda _
+              (substitute* "src/GitHash.hs"
+                (("\"git\"") (string-append "\"" #$git "/bin/git\""))))))))
     (home-page "https://github.com/snoyberg/githash#readme")
     (synopsis "Compile git revision info into Haskell projects")
     (description "Please see the README and documentation at
@@ -16982,4 +17315,3 @@ (define-public ghc-data-array-byte
 ;;; of a merge conflict, place them above by existing packages with similar
 ;;; functionality or similar names.
 ;;;
-
--=20
2.45.1





Acknowledgement sent to Romain GARBAGE <romain.garbage@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#71938; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Mon, 22 Jul 2024 11:30:02 UTC

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