From patchwork Tue Jul 9 13:53:45 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66026 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 93C9D27BBE9; Tue, 9 Jul 2024 15:10:47 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 5B75727BBE2 for ; Tue, 9 Jul 2024 15:10:46 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXb-0001Jw-CH; Tue, 09 Jul 2024 10:09:59 -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 ) id 1sRBXZ-0001Hi-Bc for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:57 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXZ-0006tV-3M for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:57 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXe-0001Ad-GM for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 01/25] gnu: Add ghc-crypton. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341543957 (code B ref 44518); Tue, 09 Jul 2024 14:10:02 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:14 +0000 Received: from localhost ([127.0.0.1]:53649 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBWr-00011i-9f for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:45 +0200 Message-ID: <20240709140812.6183-2-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:46 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66028 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id E6BAA27BBEC; Tue, 9 Jul 2024 15:11:04 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 464E227BBE9 for ; Tue, 9 Jul 2024 15:11:04 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXc-0001Kl-UN; Tue, 09 Jul 2024 10:10:00 -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 ) id 1sRBXa-0001Ht-0c for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:58 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXZ-0006tk-Os for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:57 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXf-0001Al-7H for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 02/25] gnu: Add ghc-crypton-x509. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341574009 (code B ref 44518); Tue, 09 Jul 2024 14:10:03 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:17 +0000 Received: from localhost ([127.0.0.1]:53657 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBWu-00012L-ER for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:46 +0200 Message-ID: <20240709140812.6183-3-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:47 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66036 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 2E41A27BBEA; Tue, 9 Jul 2024 15:11:50 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id B92C127BBE2 for ; Tue, 9 Jul 2024 15:11:49 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXq-0001Ud-7m; Tue, 09 Jul 2024 10:10:14 -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 ) id 1sRBXn-0001RR-8P for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:11 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXm-0006zL-NY for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:10 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXs-0001Do-6w for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:16 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 03/25] gnu: Add ghc-crypton-x509-store. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:16 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341594064 (code B ref 71938); Tue, 09 Jul 2024 14:10:16 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:19 +0000 Received: from localhost ([127.0.0.1]:53666 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBWw-000135-Et for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:47 +0200 Message-ID: <20240709140812.6183-4-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:48 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66020 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0613B27BBE2; Tue, 9 Jul 2024 15:10:21 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 94B6627BBE9 for ; Tue, 9 Jul 2024 15:10:20 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXe-0001Lv-SF; Tue, 09 Jul 2024 10:10:02 -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 ) id 1sRBXc-0001Kh-Ho for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:00 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXc-0006vd-9a for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXh-0001BF-NR for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 04/25] gnu: Add ghc-crypton-x509-system. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341664210 (code B ref 44518); Tue, 09 Jul 2024 14:10:05 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:26 +0000 Received: from localhost ([127.0.0.1]:53692 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX3-00015m-Ia for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:48 +0200 Message-ID: <20240709140812.6183-5-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:49 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66037 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 3331A27BBEA; Tue, 9 Jul 2024 15:11:51 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id BB11D27BBE2 for ; Tue, 9 Jul 2024 15:11:50 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXd-0001Kr-10; Tue, 09 Jul 2024 10:10:01 -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 ) id 1sRBXb-0001KF-RL for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:59 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXb-0006vV-JK for guix-patches@gnu.org; Tue, 09 Jul 2024 10:09:59 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXh-0001B8-1E for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 05/25] gnu: Add ghc-crypton-x509-validation. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341634145 (code B ref 44518); Tue, 09 Jul 2024 14:10:04 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:23 +0000 Received: from localhost ([127.0.0.1]:53679 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBWz-00014Q-Sc for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:22 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:49 +0200 Message-ID: <20240709140812.6183-6-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:50 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66021 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 30B8327BBEA; Tue, 9 Jul 2024 15:10:24 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id A87FE27BBE2 for ; Tue, 9 Jul 2024 15:10:23 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXg-0001M9-Ip; Tue, 09 Jul 2024 10:10:04 -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 ) id 1sRBXd-0001Kv-3R for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:01 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXc-0006vk-R9 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXi-0001BO-9l for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 06/25] gnu: Add ghc-tls-1.9. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341664225 (code B ref 44518); Tue, 09 Jul 2024 14:10:06 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:26 +0000 Received: from localhost ([127.0.0.1]:53696 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX4-00015z-Bv for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:50 +0200 Message-ID: <20240709140812.6183-7-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:51 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66025 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1D2EF27BBE2; Tue, 9 Jul 2024 15:10:46 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id B4BC527BBEA for ; Tue, 9 Jul 2024 15:10:44 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXg-0001MH-JH; Tue, 09 Jul 2024 10:10:04 -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 ) id 1sRBXd-0001LR-N2 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:01 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXd-0006w5-Dg for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXi-0001BV-SE for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 07/25] gnu: Add ghc-crypton-connection. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341674240 (code B ref 44518); Tue, 09 Jul 2024 14:10:06 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:27 +0000 Received: from localhost ([127.0.0.1]:53700 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX5-00016E-3L for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:51 +0200 Message-ID: <20240709140812.6183-8-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:52 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66039 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 974A927BBE2; Tue, 9 Jul 2024 15:12:05 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 82DAA27BBE9 for ; Tue, 9 Jul 2024 15:12:02 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXi-0001OA-CS; Tue, 09 Jul 2024 10:10:06 -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 ) id 1sRBXe-0001Lx-LG for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXe-0006wd-0J for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXj-0001Be-Dt for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 08/25] gnu: Add ghc-mattermost-api. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341684262 (code B ref 44518); Tue, 09 Jul 2024 14:10:07 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:28 +0000 Received: from localhost ([127.0.0.1]:53706 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX6-00016a-Db for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:52 +0200 Message-ID: <20240709140812.6183-9-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:53 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66023 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 36E7327BBEA; Tue, 9 Jul 2024 15:10:38 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id B767027BBE2 for ; Tue, 9 Jul 2024 15:10:37 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXs-0001XL-O7; Tue, 09 Jul 2024 10:10:16 -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 ) id 1sRBXq-0001Ue-8o for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:14 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXq-00070b-04 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXv-0001Ef-Fc for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:19 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 09/25] gnu: Add ghc-mattermost-api-qc. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:19 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341694278 (code B ref 71938); Tue, 09 Jul 2024 14:10:19 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:29 +0000 Received: from localhost ([127.0.0.1]:53710 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX7-00016o-5M for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:53 +0200 Message-ID: <20240709140812.6183-10-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:54 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66022 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 167F427BBEA; Tue, 9 Jul 2024 15:10:33 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9C19F27BBE2 for ; Tue, 9 Jul 2024 15:10:32 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXk-0001Pe-Rl; Tue, 09 Jul 2024 10:10:08 -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 ) id 1sRBXg-0001N5-S5 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXg-0006xf-DM for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXk-0001C1-Rh for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:08 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 10/25] gnu: Add ghc-modern-uri. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:08 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341704300 (code B ref 44518); Tue, 09 Jul 2024 14:10:08 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:30 +0000 Received: from localhost ([127.0.0.1]:53716 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX8-00017B-6K for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:30 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:54 +0200 Message-ID: <20240709140812.6183-11-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:55 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66024 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id DAB9527BBEA; Tue, 9 Jul 2024 15:10:43 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 4FDD927BBE2 for ; Tue, 9 Jul 2024 15:10:43 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXj-0001Ow-Gg; Tue, 09 Jul 2024 10:10:07 -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 ) id 1sRBXf-0001M7-7r for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXe-0006x9-IC for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXj-0001Bm-Uv for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 11/25] gnu: Add ghc-aspell-pipe. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341694269 (code B ref 44518); Tue, 09 Jul 2024 14:10:07 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:29 +0000 Received: from localhost ([127.0.0.1]:53708 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX6-00016i-Q4 for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:29 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:55 +0200 Message-ID: <20240709140812.6183-12-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:56 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66031 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1C66A27BBE2; Tue, 9 Jul 2024 15:11:18 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9197B27BBE9 for ; Tue, 9 Jul 2024 15:11:16 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXy-0001dR-KW; Tue, 09 Jul 2024 10:10:22 -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 ) id 1sRBXr-0001VJ-4U for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:15 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXq-00070o-R9 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXw-0001Ev-9r for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:20 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 12/25] gnu: Add ghc-bimap. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:20 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341714307 (code B ref 71938); Tue, 09 Jul 2024 14:10:20 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:31 +0000 Received: from localhost ([127.0.0.1]:53718 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBX8-00017J-IV for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:56 +0200 Message-ID: <20240709140812.6183-13-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:57 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66038 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6A65727BBE2; Tue, 9 Jul 2024 15:12:04 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id CCA7A27BBEA for ; Tue, 9 Jul 2024 15:12:02 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXi-0001OB-DA; Tue, 09 Jul 2024 10:10:06 -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 ) id 1sRBXh-0001NS-7Q for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXg-0006xs-TK for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXm-0001CN-CD for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:10 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 13/25] gnu: Add ghc-checkers. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:10 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341744354 (code B ref 44518); Tue, 09 Jul 2024 14:10:10 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:34 +0000 Received: from localhost ([127.0.0.1]:53730 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXC-000184-1n for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:34 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:57 +0200 Message-ID: <20240709140812.6183-14-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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. . © 2008-2013 by Conal Elliott; BSD3 license.") + (license license:bsd-3))) + (define-public ghc-chell (package (name "ghc-chell") From patchwork Tue Jul 9 13:53:58 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66027 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 479EA27BBEA; Tue, 9 Jul 2024 15:10:50 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id A904827BBE2 for ; Tue, 9 Jul 2024 15:10:49 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXj-0001PT-Ub; Tue, 09 Jul 2024 10:10:07 -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 ) id 1sRBXh-0001Nz-Me for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXh-0006y2-DC for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXm-0001CV-RE for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:10 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 14/25] gnu: Add ghc-monad-parallel. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:10 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341744361 (code B ref 44518); Tue, 09 Jul 2024 14:10:10 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:34 +0000 Received: from localhost ([127.0.0.1]:53732 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXC-00018B-E9 for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:34 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:58 +0200 Message-ID: <20240709140812.6183-15-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:53:59 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66041 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C898927BBE2; Tue, 9 Jul 2024 15:12:25 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9839B27BBE9 for ; Tue, 9 Jul 2024 15:12:21 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXn-0001Qt-1V; Tue, 09 Jul 2024 10:10:11 -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 ) id 1sRBXg-0001N4-Rd for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXg-0006xg-Dq for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXl-0001CF-O3 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:09 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 15/25] gnu: ghc-text-zipper: Update to 0.13. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:09 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341744347 (code B ref 44518); Tue, 09 Jul 2024 14:10:09 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:34 +0000 Received: from localhost ([127.0.0.1]:53728 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXB-00017u-NW for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:33 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:53:59 +0200 Message-ID: <20240709140812.6183-16-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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)) From patchwork Tue Jul 9 13:54:00 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66034 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5480B27BBE2; Tue, 9 Jul 2024 15:11:31 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8A0F727BBE9 for ; Tue, 9 Jul 2024 15:11:29 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXt-0001Y3-7F; Tue, 09 Jul 2024 10:10:17 -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 ) id 1sRBXi-0001O8-4m for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:06 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXh-0006y9-RX for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXn-0001Cc-Au for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:11 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 16/25] gnu: Add ghc-stm-delay. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:11 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341754376 (code B ref 44518); Tue, 09 Jul 2024 14:10:11 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:35 +0000 Received: from localhost ([127.0.0.1]:53736 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXD-00018Q-5e for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:00 +0200 Message-ID: <20240709140812.6183-17-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:54:01 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66033 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0A7C927BBE2; Tue, 9 Jul 2024 15:11:31 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id EC93527BBEA for ; Tue, 9 Jul 2024 15:11:29 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXz-0001e6-96; Tue, 09 Jul 2024 10:10:23 -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 ) id 1sRBXu-0001Yy-6f for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:18 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXt-0007CR-UI for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:17 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXz-0001Fm-DS for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:23 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 17/25] gnu: Add ghc-unique. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:23 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341774406 (code B ref 71938); Tue, 09 Jul 2024 14:10:23 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:37 +0000 Received: from localhost ([127.0.0.1]:53744 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXE-00018t-MV for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:01 +0200 Message-ID: <20240709140812.6183-18-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:54:02 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66040 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5A2B727BBE9; Tue, 9 Jul 2024 15:12:11 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 7CC1027BBEE for ; Tue, 9 Jul 2024 15:12:08 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXu-0001Yo-5F; Tue, 09 Jul 2024 10:10:18 -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 ) id 1sRBXj-0001P5-I7 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:07 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXi-0006yQ-Rz for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXo-0001Cr-8p for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:12 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 18/25] gnu: Add ghc-unix-compat-7. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:12 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341774413 (code B ref 44518); Tue, 09 Jul 2024 14:10:12 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:37 +0000 Received: from localhost ([127.0.0.1]:53746 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXF-000191-3x for submit@debbugs.gnu.org; Tue, 09 Jul 2024 10:09:37 -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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:02 +0200 Message-ID: <20240709140812.6183-19-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:54:03 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66045 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 4D60427BBE9; Tue, 9 Jul 2024 15:21:27 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 880CA27BBE2 for ; Tue, 9 Jul 2024 15:21:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBiI-0007Xa-AN; Tue, 09 Jul 2024 10:21:02 -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 ) id 1sRBiG-0007V9-C2 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:21:01 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBiG-0001jQ-0Z for guix-patches@gnu.org; Tue, 09 Jul 2024 10:21:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBiL-0001a8-FV for guix-patches@gnu.org; Tue, 09 Jul 2024 10:21:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 19/25] gnu: Add ghc-vty-crossplatform. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:21:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205348165952 (code B ref 71938); Tue, 09 Jul 2024 14:21:05 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:20:16 +0000 Received: from localhost ([127.0.0.1]:53850 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBhY-0001Xp-8P for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:03 +0200 Message-ID: <20240709140812.6183-20-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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") From patchwork Tue Jul 9 13:54:04 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66032 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EE0C227BBEA; Tue, 9 Jul 2024 15:11:26 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 86BA027BBE2 for ; Tue, 9 Jul 2024 15:11:26 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXz-0001eu-F5; Tue, 09 Jul 2024 10:10:23 -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 ) id 1sRBXt-0001YE-C6 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:17 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXt-00075W-2V for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:17 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXy-0001FX-HZ for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:22 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 20/25] gnu: Add ghc-vty-unix. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:22 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341764383 (code B ref 71938); Tue, 09 Jul 2024 14:10:22 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:36 +0000 Received: from localhost ([127.0.0.1]:53738 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXD-00018X-HY for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:04 +0200 Message-ID: <20240709140812.6183-21-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches 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") From patchwork Tue Jul 9 13:54:05 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66030 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 634FE27BBE2; Tue, 9 Jul 2024 15:11:09 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id C76BA27BBE9 for ; Tue, 9 Jul 2024 15:11:08 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXt-0001YU-VC; Tue, 09 Jul 2024 10:10:18 -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 ) id 1sRBXl-0001Pc-56 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:09 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXj-0006yj-Qq for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBXp-0001D6-96 for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:13 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 21/25] gnu: Add ghc-vty-6. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:13 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205341794442 (code B ref 44518); Tue, 09 Jul 2024 14:10:13 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:09:39 +0000 Received: from localhost ([127.0.0.1]:53754 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXG-00019U-LF for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:05 +0200 Message-ID: <20240709140812.6183-22-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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. . © 2006-2007 Stefan +O'Rear; BSD3 license. . © Corey O'Connor; BSD3 license. . © Jonathan +Daugherty; BSD3 license.") + (license license:bsd-3))) + (define-public ghc-wave (package (name "ghc-wave") From patchwork Tue Jul 9 13:54:06 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66046 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0DF0D27BBEA; Tue, 9 Jul 2024 15:21:44 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 7D9D927BBE2 for ; Tue, 9 Jul 2024 15:21:43 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBiK-0007de-L5; Tue, 09 Jul 2024 10:21:04 -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 ) id 1sRBiF-0007U4-Pp for guix-patches@gnu.org; Tue, 09 Jul 2024 10:20:59 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBiF-0001j5-2U for guix-patches@gnu.org; Tue, 09 Jul 2024 10:20:59 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBiK-0001Zt-Gk for guix-patches@gnu.org; Tue, 09 Jul 2024 10:21:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 22/25] gnu: Add ghc-hclip. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:21:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205348175973 (code B ref 44518); Tue, 09 Jul 2024 14:21:04 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:20:17 +0000 Received: from localhost ([127.0.0.1]:53856 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBhZ-0001YB-EC for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:06 +0200 Message-ID: <20240709140812.6183-23-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches 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") From patchwork Tue Jul 9 13:54:07 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66035 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7808527BBE9; Tue, 9 Jul 2024 15:11:39 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 4961B27BBEA for ; Tue, 9 Jul 2024 15:11:38 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBXy-0001dZ-SJ; Tue, 09 Jul 2024 10:10:22 -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 ) id 1sRBXv-0001ay-Nx for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:20 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXv-0007D9-Ez for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:19 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBY0-0001G8-Tm for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:24 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 23/25] gnu: Add ghc-brick. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:24 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341794450 (code B ref 71938); Tue, 09 Jul 2024 14:10:24 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:39 +0000 Received: from localhost ([127.0.0.1]:53756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXH-00019b-1f for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:07 +0200 Message-ID: <20240709140812.6183-24-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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: . * + . * The + . * The demonstration programs in the programs directory . . This +package deprecates .") + (license license:bsd-3))) + (define-public ghc-githash (package (name "ghc-githash") From patchwork Tue Jul 9 13:54:08 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66029 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id DC20627BBEB; Tue, 9 Jul 2024 15:11:08 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 946FC27BBE2 for ; Tue, 9 Jul 2024 15:11:07 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBY1-0001gO-5K; Tue, 09 Jul 2024 10:10:25 -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 ) id 1sRBXv-0001aF-9E for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:19 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBXv-0007Cl-0J for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:19 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBY0-0001G1-Fa for guix-patches@gnu.org; Tue, 09 Jul 2024 10:10:24 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v2 24/25] gnu: Add ghc-brick-skylighting. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:10:24 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71938 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 71938-submit@debbugs.gnu.org id=B71938.17205341784435 (code B ref 71938); Tue, 09 Jul 2024 14:10:24 +0000 Received: (at 71938) by debbugs.gnu.org; 9 Jul 2024 14:09:38 +0000 Received: from localhost ([127.0.0.1]:53752 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBXG-00019N-8e for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:08 +0200 Message-ID: <20240709140812.6183-25-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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 .") (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") From patchwork Tue Jul 9 13:54:09 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66047 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6748827BBEA; Tue, 9 Jul 2024 15:22:10 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 72A9C27BBE2 for ; Tue, 9 Jul 2024 15:22:09 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sRBiK-0007cX-Bx; Tue, 09 Jul 2024 10:21:04 -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 ) id 1sRBiE-0007S3-JI for guix-patches@gnu.org; Tue, 09 Jul 2024 10:20:59 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sRBiE-0001hP-0g for guix-patches@gnu.org; Tue, 09 Jul 2024 10:20:58 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sRBiJ-0001Zb-FY for guix-patches@gnu.org; Tue, 09 Jul 2024 10:21:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v2 25/25] gnu: Add matterhorn. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Jul 2024 14:21:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44518 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 71938@debbugs.gnu.org Cc: rekado@elephly.net, Romain GARBAGE , 44518@debbugs.gnu.org Received: via spool by 44518-submit@debbugs.gnu.org id=B44518.17205348165944 (code B ref 44518); Tue, 09 Jul 2024 14:21:03 +0000 Received: (at 44518) by debbugs.gnu.org; 9 Jul 2024 14:20:16 +0000 Received: from localhost ([127.0.0.1]:53848 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sRBhX-0001Xi-Pf for submit@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 ) 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@inria.fr; 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 Date: Tue, 9 Jul 2024 15:54:09 +0200 Message-ID: <20240709140812.6183-26-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr> References: <20240709140812.6183-1-romain.garbage@inria.fr> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * 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")