From patchwork Mon Jul 22 11:27: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: 66439 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 B4D9527BBED; Mon, 22 Jul 2024 12:32: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 34FC627BBF0 for ; Mon, 22 Jul 2024 12:32:20 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrFz-0006wv-Bi; Mon, 22 Jul 2024 07:31: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 1sVrFw-0006v3-In for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrFr-0007Nv-Rp for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrFu-0006kT-Pu for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 01/25] gnu: Add ghc-crypton. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31: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.172164783322292 (code B ref 44518); Mon, 22 Jul 2024 11:31:02 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:30:33 +0000 Received: from localhost ([127.0.0.1]:56935 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFQ-0005m7-CL for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:30:33 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFM-0005En-UM; Mon, 22 Jul 2024 07:30:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=UwIyxG33EU9L9HeD31KhfmyuQZuwAmHu0BViTor1YqU=; b=Lq69QmgAuNgNbYMwu3vScsFSXTjrbIkhG0vdfxdS+Od98xUjReh2CnDn IjlC653Bp2qRJJKXh9CafogCAkqcNYOfVd/LxmJpvXV0V1nM6hQvzMzAJ ODn+o55liKt8O9vduAQxiiz7IFi5hNGIH/zRAm/gIR2FcPY8Q1weknOPu A=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=romain.garbage@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688890" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:27:58 +0200 Message-ID: <20240722113008.9057-2-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:27: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: 66433 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 9C6F927BBEA; Mon, 22 Jul 2024 12:31:29 +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 EE5CD27BBE2 for ; Mon, 22 Jul 2024 12:31:28 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrFz-0006xG-T2; Mon, 22 Jul 2024 07:31: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 1sVrFw-0006w0-SN for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrFw-0007Oi-Hf for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrFz-0006tC-CQ for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:07 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 02/25] gnu: Add ghc-crypton-x509. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:07 +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.172164783422373 (code B ref 71938); Mon, 22 Jul 2024 11:31:07 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:34 +0000 Received: from localhost ([127.0.0.1]:56938 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFR-0005nR-80 for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:30:34 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFO-0005En-5r; Mon, 22 Jul 2024 07:30:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=tM11IhMeRmgXQGOPMIZB+V1ghJH5x/E4ojRjBWQ8TPc=; b=oXkgO6MaDYZbf+iAkDSSw1/I05GKf/mtxjjR4yEbO5m70A9r5vWqCAXb rQTI/8CF4zVPHeCi+z9XYam/LJdeP7KPsawXJxYwj7B8oZcWzzgESz3mT PAWVbBSEQu9yjIomBR09HhJuddAjMNFbhTq4nnJ59wZuVklhAtGfGaoez w=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=romain.garbage@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688892" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:27:59 +0200 Message-ID: <20240722113008.9057-3-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66434 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 4410C27BBEA; Mon, 22 Jul 2024 12:31:52 +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 C00AF27BBE2 for ; Mon, 22 Jul 2024 12:31:51 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrG0-0006xX-9E; Mon, 22 Jul 2024 07:31: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 1sVrFx-0006wX-L7 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrFx-0007PJ-B0 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG0-0006uG-7Y for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:08 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:08 +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.172164785024232 (code B ref 71938); Mon, 22 Jul 2024 11:31:08 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:50 +0000 Received: from localhost ([127.0.0.1]:56962 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFh-0006Hv-UX for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:30:50 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFP-0005En-4I; Mon, 22 Jul 2024 07:30:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=Y0BJ2OyQlgqIZ6y7wxuOm2gUSTQloQ6hcNHWDRKfJGE=; b=P23NkYSJ/1kYdIJN+SPsna4iDnMGZ9yQ9tyssjNz4fobMvYYg3JPbi2r eVXwadoSmtm1bVJo+FMmOPvtGw+uIz6m11FFEmgYOewo1TkrenBrE8fzK RGRXmEPU2HE9e8NH7camXEkJKNxrV8h7gmU+nTRmbkkwvloAdAlyCS/mL 0=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=romain.garbage@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688894" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:00 +0200 Message-ID: <20240722113008.9057-4-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66444 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 28DD027BBEA; Mon, 22 Jul 2024 12:32:40 +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 AFCED27BBE2 for ; Mon, 22 Jul 2024 12:32:39 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrFy-0006wg-9e; Mon, 22 Jul 2024 07:31: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 1sVrFw-0006v7-KO for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrFu-0007O4-Ac for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrFw-0006nV-W1 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31: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.172164785224409 (code B ref 44518); Mon, 22 Jul 2024 11:31:04 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:30:52 +0000 Received: from localhost ([127.0.0.1]:56968 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFj-0006Kg-Ef for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:30:52 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFP-0005En-Sk; Mon, 22 Jul 2024 07:30:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=umCoi1DRylNHY1jQkRxZ8aTufQAOpVtdlTiZZ6UBSK4=; b=gARKmCDB8QJI6bIvufh4orOp3/BBFzqpPYzDl8/NE8E6Xwnime9uyiWY HOVGUHrrIi4PRZBXiJw5FD2U0EjV3UWiH1CMnKelQtJbH29cvCmKNw8uV bC2k8jLSddD557smbNwJgr7TF3DxLSXmOhJKnkKQ9tfkBy3UvO13+c3H/ k=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=romain.garbage@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688896" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:01 +0200 Message-ID: <20240722113008.9057-5-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66442 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 A40FD27BBEA; Mon, 22 Jul 2024 12:32: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=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 5C89427BBE2 for ; Mon, 22 Jul 2024 12:32:26 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGO-00077N-Bs; Mon, 22 Jul 2024 07:31:36 -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 1sVrFz-0006wy-KG for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrFz-0007RN-9S for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:07 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG2-0006x6-4I for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:10 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:10 +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.172164785324495 (code B ref 71938); Mon, 22 Jul 2024 11:31:10 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:30:53 +0000 Received: from localhost ([127.0.0.1]:56972 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFk-0006LX-2O for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:30:52 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFQ-0005En-S7; Mon, 22 Jul 2024 07:30:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=PNTpy/4lyO69GnB/5fh0ibjn0HZI5j0XYqzbbQeqCm8=; b=Pc0oG/SebPj6lE/1RpPdLTXXle6CyiAxoGY7OHq8Q4kKoZGj7nzVicMm nmTadzF9C3lz0nfFX0aN4Ierx18cwCzAYu7Nf1t3GlDEU2KgN2we/EKoc 6Xh7YZOlz8nfoi9SDN1Wi+YOAmEDr8lXIuyLJtLoW7SbhnP47pp69TTwQ Y=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=romain.garbage@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.09,228,1716242400"; d="scan'208";a="92688898" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:17 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:02 +0200 Message-ID: <20240722113008.9057-6-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66455 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 A489927BBEB; Mon, 22 Jul 2024 12:33: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=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 7BA8927BBE2 for ; Mon, 22 Jul 2024 12:33:30 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrHE-0000ZH-6x; Mon, 22 Jul 2024 07:32:24 -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 1sVrGt-00089p-0w for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32: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 1sVrGs-0007i7-N7 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGv-0007JN-KU for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 06/25] gnu: Add ghc-tls-1.9. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32: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.172164789527972 (code B ref 71938); Mon, 22 Jul 2024 11:32:05 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:35 +0000 Received: from localhost ([127.0.0.1]:57075 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGR-0007Gz-Cp for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:35 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFS-0005En-1r; Mon, 22 Jul 2024 07:30:34 -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=g0+UtclSPkN1/XHKA58mJC3JB1NHxi4BkeJq03Bz7WAvJxWzpv5rUWTL h0mJFfO0oUsttjkASK24eZCuKrC9/JdtxzP2/Ye8IY6s+FM1XaUZRuVj6 2HUbIdhOM5zD78l4vULw3Tnyhc49CTJBHwd430bgpj+ojpMUXQem9LyrG 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,228,1716242400"; d="scan'208";a="92688901" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:03 +0200 Message-ID: <20240722113008.9057-7-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66435 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 4E06727BBEB; Mon, 22 Jul 2024 12:32: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 A6FC727BBE9 for ; Mon, 22 Jul 2024 12:32:09 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGp-00081f-NA; Mon, 22 Jul 2024 07:32: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 1sVrG6-0006zo-SH for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -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 1sVrG1-0007TY-K6 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG4-00070F-Ej for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:12 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 07/25] gnu: Add ghc-crypton-connection. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:12 +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.172164786826540 (code B ref 71938); Mon, 22 Jul 2024 11:31:12 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:08 +0000 Received: from localhost ([127.0.0.1]:56984 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFz-0006tK-DI for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:07 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFS-0005dc-7V; Mon, 22 Jul 2024 07:30:34 -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=oPYAZgudlTBx8x/cKxDjgOzNbw7wpSUhxG7MMMDUYb3lI5nXCZsHCmG/ R8qquuAXhJBzg1cA6IHi5LMfJyETgbCVNmuKrO6mFMuueNJbFkAwAQbsE F9yhtnLv1cpcXvsHOUFKdodhYkXFpuv78vZi5bwG3/MVWeMoAcA5V8Hlj 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,228,1716242400"; d="scan'208";a="92688905" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:04 +0200 Message-ID: <20240722113008.9057-8-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66445 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 7B6FF27BBEA; Mon, 22 Jul 2024 12:32: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 EFB7D27BBE2 for ; Mon, 22 Jul 2024 12:32:43 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGO-000771-9h; Mon, 22 Jul 2024 07:31:32 -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 1sVrG6-0006zq-T6 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -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 1sVrG2-0007Tm-A6 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG5-00071J-4E for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:13 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:13 +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.172164787026721 (code B ref 71938); Mon, 22 Jul 2024 11:31:13 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:10 +0000 Received: from localhost ([127.0.0.1]:56992 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG1-0006vg-5r for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:09 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFT-0005En-71; Mon, 22 Jul 2024 07:30:35 -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=TvWX7ynhFy9gDrITWQu91q2fNH2hNFOohvjVWM7kGxNCSArcJVBoKPXo FvKjeSzCymw5LICieC1/STXSzSyd/fT5pTvP1wFoS+bIjFIZSha3VChD2 9vzGtegtQTUmBG80CH3sZAZ21FtbS0tc9rdJ4sDnsmHFkGf+MssBaqLTZ A=; 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,228,1716242400"; d="scan'208";a="92688907" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:05 +0200 Message-ID: <20240722113008.9057-9-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66449 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 0BC3327BBE2; Mon, 22 Jul 2024 12:32:57 +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 52FAA27BBE9 for ; Mon, 22 Jul 2024 12:32:55 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGh-0007Hh-Ht; Mon, 22 Jul 2024 07:31:51 -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 1sVrG6-0006zp-Sd for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -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 1sVrG4-0007V1-6B for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG6-00074A-Ru for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:14 +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.172164787226901 (code B ref 44518); Mon, 22 Jul 2024 11:31:14 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:12 +0000 Received: from localhost ([127.0.0.1]:57001 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG3-0006yi-64 for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:11 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFT-0005dc-98; Mon, 22 Jul 2024 07:30:35 -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=vDvppu3f0QedBkZAWSQe0wfO4J+HGalXSsiwDf6V7dxwuujDceOYNwTZ 6ghkFWP6tXMzNyvKmKk+pUI7445FUjFpTzpckWqg3CIqew9Gm+4v0f3uZ gjLtql4oApVUBRRfP+f/8NooN/ObmJicH9FbfreXL4E+3nJZIwF25xm02 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,228,1716242400"; d="scan'208";a="92688909" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:06 +0200 Message-ID: <20240722113008.9057-10-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66438 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 DDE4B27BBEA; Mon, 22 Jul 2024 12:32:23 +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 EA6C227BBED for ; Mon, 22 Jul 2024 12:32:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGh-0007G0-1i; Mon, 22 Jul 2024 07:31:51 -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 1sVrG6-0006zu-UJ for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -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 1sVrG6-0007VF-1B for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrG8-00076W-Rd for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31: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.172164787226955 (code B ref 71938); Mon, 22 Jul 2024 11:31:16 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:12 +0000 Received: from localhost ([127.0.0.1]:57004 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG3-0006zn-SQ for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:12 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFT-0005go-FS; Mon, 22 Jul 2024 07:30:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=GYi66EhVso5u6RWOjGO3e5DsQcDFW9GmZj36QPl2QFA=; b=OuNBXjojmUqSZtiYpJE3eDtiwAy3Y1HJ93JfBQftByhTuMgiWPlerAY8 moZNExKp0BSd5Ev1hvbacd8RUvuU1Ttn9xivFkDitlFBoTq+BdqeCThC1 KdUvVvXq92phLGCOdEhTOFZMrG2wfD/tjNvupH/9mAvVcOnFtZUreXGMN Y=; 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,228,1716242400"; d="scan'208";a="92688911" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:07 +0200 Message-ID: <20240722113008.9057-11-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66437 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 1D6D227BBEC; Mon, 22 Jul 2024 12:32:22 +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 BC3F527BBEA for ; Mon, 22 Jul 2024 12:32:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGj-0007SF-6J; Mon, 22 Jul 2024 07:31:53 -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 1sVrG8-00070p-E9 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -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 1sVrG8-0007WD-0T for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:16 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGA-00078V-U5 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:18 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:18 +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.172164787527190 (code B ref 44518); Mon, 22 Jul 2024 11:31:18 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:15 +0000 Received: from localhost ([127.0.0.1]:57015 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG6-00073g-EF for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:14 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFU-0005En-Ak; Mon, 22 Jul 2024 07:30:37 -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=mY6Ji2EVEfOYulYrLJ0fefGN2jKcb0KZeKV/LN/AvZwYR22f+qAe+Zg0 3B/k3S+4ofPL6Cyb5AVbPct5fE1e9syQwJcEa2quUXRc+L+F41k+MN4S4 PCSFEeCwvQBmxeEsvu4ct+5DyWruGBIeMXjcHMuEZmyJ48R1BnIpSAeKD 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,228,1716242400"; d="scan'208";a="92688913" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:08 +0200 Message-ID: <20240722113008.9057-12-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28: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: 66441 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 1646527BBEA; Mon, 22 Jul 2024 12:32: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=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 A5A2927BBEC for ; Mon, 22 Jul 2024 12:32:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGj-0007UU-I3; Mon, 22 Jul 2024 07:31:53 -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 1sVrG9-00071S-8r for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrG9-0007WZ-0e for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:17 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGB-00079I-Ot for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:19 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 12/25] gnu: Add ghc-bimap. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:19 +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.172164787527235 (code B ref 44518); Mon, 22 Jul 2024 11:31:19 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:15 +0000 Received: from localhost ([127.0.0.1]:57017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG6-00074S-W0 for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:15 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFU-0005dc-BG; Mon, 22 Jul 2024 07:30:37 -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=XELV8NGBXT4B+Hvxtq+nchRId7F7MucZN3yKQCJhCa6q3Ph2h/jDmGHE MjV4pUcBXJ+x93s/mBaQOBujWzBZJI3o4KD+utCkpC0StDuKqFqev2Xyw ac82ldmMGyMH/FhWO6tulL/BNieoQ0XgpDId+qq7EM+Y6jpXXaKaIKDon 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,228,1716242400"; d="scan'208";a="92688915" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:09 +0200 Message-ID: <20240722113008.9057-13-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:10 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66454 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 37BBD27BBEC; Mon, 22 Jul 2024 12:33:30 +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 D4AB227BBE2 for ; Mon, 22 Jul 2024 12:33:29 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGm-0007mW-LZ; Mon, 22 Jul 2024 07:31:56 -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 1sVrGE-00074K-9e for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:24 -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 1sVrGD-0007ZC-VG for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:21 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGG-0007Ew-Rp for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:24 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 13/25] gnu: Add ghc-checkers. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:24 +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.172164787827417 (code B ref 44518); Mon, 22 Jul 2024 11:31:24 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:18 +0000 Received: from localhost ([127.0.0.1]:57028 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG9-00077R-Pk for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:18 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27688) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFV-0005lD-8h; Mon, 22 Jul 2024 07:30:38 -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=Sy2wWnz3EVi8CcAg43Q1RlI1PvdXCw42Txvc4FuioLgNBK/yj4+d+tui 6ZwppajxPe8IItVdspwCLI1xe/Z2Xm515ui8NoXJ9KecHGI7pITJiDqRo sFAMs57fJsbs+lx3XRkmlselI8n3+JUOe2g8TDUM8en5ki4uhZONYQYhb s=; 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,228,1716242400"; d="scan'208";a="92688917" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:18 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:10 +0200 Message-ID: <20240722113008.9057-14-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:11 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66448 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 CC4B927BBE2; Mon, 22 Jul 2024 12:32:54 +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 4E7AB27BBE9 for ; Mon, 22 Jul 2024 12:32:53 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGe-0007Ee-Un; Mon, 22 Jul 2024 07:31:50 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sVrGD-00073d-BS for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:22 -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 1sVrGD-0007Xs-35 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:21 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGF-0007Cw-IA for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:23 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 14/25] gnu: Add ghc-monad-parallel. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:23 +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.172164787827375 (code B ref 44518); Mon, 22 Jul 2024 11:31:23 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:18 +0000 Received: from localhost ([127.0.0.1]:57026 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrG9-00076p-2Z for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:17 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFV-0005go-97; Mon, 22 Jul 2024 07:30:38 -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=NjtfCvF9oNxzdDIbyxk2Xp5LK3vzzyJrzQLslczJuN+k/76rQpmdUqaj H5OdI1UtirXxVyf80ZPUMbqPgT0jMtowaeNufUqQBiqR/PiHkFHtfFFso HmgZw7IC2x4WBOhc+9m7NcZTTS0D+hiC40CsCfimXaAI0Iu7wrRAr9S8V 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,228,1716242400"; d="scan'208";a="92688919" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:11 +0200 Message-ID: <20240722113008.9057-15-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:12 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66440 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 E9F5F27BBED; Mon, 22 Jul 2024 12:32: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 59B2827BBE9 for ; Mon, 22 Jul 2024 12:32:23 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGq-00085a-K8; Mon, 22 Jul 2024 07:32: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 1sVrGI-00075B-4T for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:26 -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 1sVrGE-0007bS-Ue for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:23 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGH-0007FC-Pt for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:25 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 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: Mon, 22 Jul 2024 11:31:25 +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.172164788127586 (code B ref 44518); Mon, 22 Jul 2024 11:31:25 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:21 +0000 Received: from localhost ([127.0.0.1]:57039 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGC-0007AF-MG for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:21 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFV-0005En-Kx; Mon, 22 Jul 2024 07:30:39 -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=mCtinIbVilQhHoRqBnsclZXEt983qox4c3t1SOCsRvgpvg06p+D/0dzQ iuxCl05ua9RNlmAsnZow+gEKODoc1WIOXXS90JNQBm+7azmyP+mY97o2B 9LF+Ew/EMaeWaQZAAYh3rwO/OlI29HcB6w8+PVpEqPf+LjKLLKpXB2pem 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,228,1716242400"; d="scan'208";a="92688921" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:12 +0200 Message-ID: <20240722113008.9057-16-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:13 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66453 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 C205F27BBEA; Mon, 22 Jul 2024 12:33:22 +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 39EB527BBE2 for ; Mon, 22 Jul 2024 12:33:22 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGn-0007po-6k; Mon, 22 Jul 2024 07:31:57 -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 1sVrGE-00074m-Me for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:26 -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 1sVrGE-0007ZR-Dp for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:22 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGH-0007F4-AQ for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:25 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:25 +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.172164788027548 (code B ref 44518); Mon, 22 Jul 2024 11:31:25 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:20 +0000 Received: from localhost ([127.0.0.1]:57036 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGB-00079d-Vu for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:20 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFV-0005dc-V9; Mon, 22 Jul 2024 07:30:38 -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=t7pdq3oY/Z2v63qlDmerGBm+ZNryuV5FcaRsRnysD8uqnivgAkwIT/JK h6D+rkHvP9sz2inw4HEhkikgxB0RYwUaK7FgWus1YU9UiqcWlM1sF+wMt y7nsu7CMVCBl9tCek/th9dyZYfASVNUBzgfkSExYA3W40irGKZ3r3+SWp 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,228,1716242400"; d="scan'208";a="92688923" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:13 +0200 Message-ID: <20240722113008.9057-17-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:14 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66436 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 36C7B27BBF1; Mon, 22 Jul 2024 12:32:20 +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 3634527BBE2 for ; Mon, 22 Jul 2024 12:32:19 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGk-0007YG-C9; Mon, 22 Jul 2024 07:31:54 -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 1sVrGI-00075v-Eg for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:26 -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 1sVrGG-0007be-MD for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:25 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGJ-0007Ff-Kv for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:27 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 17/25] gnu: Add ghc-unique. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:27 +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.172164788227606 (code B ref 71938); Mon, 22 Jul 2024 11:31:27 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:22 +0000 Received: from localhost ([127.0.0.1]:57042 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGD-0007Ay-KZ for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:22 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFW-0005go-Ou; Mon, 22 Jul 2024 07:30:40 -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=E5aEnkjaVeTkL/yAxiFVEKBTy2swWfkXFNgE4QgjTupFb9DC1Q6dPkCb YoEdYS7iet/dl5XYWTVig9ddwETRRr3LUSxcDwMGZ72bz2E3/zD57YqaQ FzV9wRJJMXZq60wm4cF1oOeeyBQM/L/bEomUgrY69AYWaaawakWrI1Oo8 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,228,1716242400"; d="scan'208";a="92688926" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:14 +0200 Message-ID: <20240722113008.9057-18-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:15 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66443 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 4FFF827BBE9; Mon, 22 Jul 2024 12:32:28 +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 CD71A27BBEE for ; Mon, 22 Jul 2024 12:32:26 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrGl-0007i5-Rv; Mon, 22 Jul 2024 07:31:55 -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 1sVrGI-00075p-EU for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:26 -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 1sVrGH-0007bg-M9 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:25 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGK-0007Fu-Kr for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:28 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:31:28 +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.172164788427832 (code B ref 44518); Mon, 22 Jul 2024 11:31:28 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:24 +0000 Received: from localhost ([127.0.0.1]:57050 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGG-0007Ee-0Y for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:24 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27688) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFW-0005lD-TH; Mon, 22 Jul 2024 07:30:40 -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=EJSMwgbFgrI+XtI/a3TyOI/SOEkoQ7V1IPVVhBDpFkExEX106of4Ul5H ywAXj5TlNtUpBrizL9oQDYOSsuwWX8GNGHNMN9z7uddyL851WU+YK3EKw ZOxQyZA5+fNPJ1Zf9xzGf77TvxwDUixYUbPeEBLCQyiuWVpY/xrQPWLnY 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,228,1716242400"; d="scan'208";a="92688928" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:15 +0200 Message-ID: <20240722113008.9057-19-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:16 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66446 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 F237C27BBEA; Mon, 22 Jul 2024 12:32:49 +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 47CBE27BBE9 for ; Mon, 22 Jul 2024 12:32:48 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrH2-0008Cy-If; Mon, 22 Jul 2024 07:32:13 -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 1sVrGp-0007zK-1L for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrGo-0007gF-NU for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:58 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGr-0007II-Ks for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32:01 +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.172164789027931 (code B ref 44518); Mon, 22 Jul 2024 11:32:01 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:30 +0000 Received: from localhost ([127.0.0.1]:57065 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGL-0007GK-QH for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:30 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFX-0005dc-Dw; Mon, 22 Jul 2024 07:30:40 -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=Mm5K+NDruUF1WKL1y8Ox1IXsaK0J25fc7uWh7T8EQQMofSYmkeu1M1JT c6JG/AFiFDA9M5s4FcqkIU2+u/DPzV/Tw3+13c7pW6AORW+zFT4uQcRyp 4R4W9YJXQ3M72cXbHinw1ezK5mcZRmSeNrfzLmIeb6aeEzZVywfYShm3R 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,228,1716242400"; d="scan'208";a="92688930" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:16 +0200 Message-ID: <20240722113008.9057-20-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:17 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66456 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 32CB427BBEA; Mon, 22 Jul 2024 12:53:16 +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 5C67327BBE2 for ; Mon, 22 Jul 2024 12:53:15 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrbF-0004zJ-3h; Mon, 22 Jul 2024 07:53:05 -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 1sVrbB-0004dD-7E for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53: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 1sVrbA-0004mY-B1 for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrbD-0007ww-9Z for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 20/25] gnu: Add ghc-vty-unix. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:53:03 +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.172164912430439 (code B ref 71938); Mon, 22 Jul 2024 11:53:03 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:52:04 +0000 Received: from localhost ([127.0.0.1]:57113 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVraF-0007um-OF for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:52:04 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFX-0005En-FW; Mon, 22 Jul 2024 07:30:40 -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=TRGtx+F4MyWwnzPvCZ995dG7tn7kl3xAZUG/EBzvDUbO59/W8RXbePHH HXdyfLOrKC7ClEth+RbltTMj98/nqB/W4JLszdKkwQsnshJ73x0svJ5pu kqXiipxnJM9mfGGQ5TympTdoRAGIMfaMqQ3EwGvS0Yyrw2+CPs+BSarjd 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,228,1716242400"; d="scan'208";a="92688932" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:19 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:17 +0200 Message-ID: <20240722113008.9057-21-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:18 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66447 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 2F73227BBEA; Mon, 22 Jul 2024 12:32:53 +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 5038A27BBE9 for ; Mon, 22 Jul 2024 12:32:52 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrH9-0008Tv-7J; Mon, 22 Jul 2024 07:32:19 -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 1sVrGp-00080k-DW for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31: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 1sVrGp-0007gZ-3u for guix-patches@gnu.org; Mon, 22 Jul 2024 07:31:59 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGs-0007IP-2l for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 21/25] gnu: Add ghc-vty-6. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32: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.172164789127946 (code B ref 44518); Mon, 22 Jul 2024 11:32:02 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:31 +0000 Received: from localhost ([127.0.0.1]:57069 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGN-0007GZ-2G for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:31 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFY-0005go-Eo; Mon, 22 Jul 2024 07:30:41 -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=fF/UhvzEe81J9oTbqBQ6BgHWrlPcPYbPMH6KxQc9ryp42zLecp54CkIX KF4QBrS1x1Dhh6UPj+9xp+Eg5qpLL4g/qEs264sH4pqt2Tx86Yng9Ai5D 2zvZLU3Zzf1igsDR9vLUIjKih4i46ZSzuBvlvHJEZ3cyprcMj1vgcUuo1 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,228,1716242400"; d="scan'208";a="92688934" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:20 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:18 +0200 Message-ID: <20240722113008.9057-22-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:19 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66450 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 B5B4F27BBEB; Mon, 22 Jul 2024 12:32:52 +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 E2C7C27BBEA for ; Mon, 22 Jul 2024 12:32:50 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrHF-0000dI-4o; Mon, 22 Jul 2024 07:32: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 1sVrGs-00089B-HA for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32: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 1sVrGs-0007hw-6p for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGv-0007JG-5g for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 22/25] gnu: Add ghc-hclip. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32: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.172164789527964 (code B ref 71938); Mon, 22 Jul 2024 11:32:05 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:31:35 +0000 Received: from localhost ([127.0.0.1]:57073 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGN-0007Go-Ui for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:35 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27688) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFY-0005lD-TF; Mon, 22 Jul 2024 07:30:42 -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=kwRncWGOYkZ3+o5wCV7Zrk6a48s19TirjgnxBDh8n16Mr1aYAx5P2Mgl /bpkPHfrHiIK9O43rb0BzgA8JZpJvKz5YgShFVrhXktZgBncrATtsu5D8 zQX1YYY9PxpMPEp5E0g/rlH+fnwmhgNet09OjmfjoGwbEnGYTh+kdcvjy 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,228,1716242400"; d="scan'208";a="92688936" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:20 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:19 +0200 Message-ID: <20240722113008.9057-23-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:20 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66451 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 3379227BBEB; Mon, 22 Jul 2024 12:33: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 E0AAE27BBE9 for ; Mon, 22 Jul 2024 12:33:09 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrHA-0000Br-AG; Mon, 22 Jul 2024 07:32:20 -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 1sVrGr-00087w-Da for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32: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 1sVrGp-0007gz-KV for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGs-0007IX-HE for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 23/25] gnu: Add ghc-brick. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32: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.172164789627979 (code B ref 44518); Mon, 22 Jul 2024 11:32:02 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:36 +0000 Received: from localhost ([127.0.0.1]:57077 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGR-0007H7-Q4 for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:36 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27683) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFZ-0005dc-0Z; Mon, 22 Jul 2024 07:30:42 -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=gmgXOCjEo4WSfmjW0gJLnhAaPevO2s4SYRRDyq1/viqnwPgqwVPEgIce 8nHtj/hujRSPFZ9SWMGTg33orkq6jCnIPRstslD5GoU7Qmh8D3P7QVeJS WRd6z1DWT3LGKwV5UxwPQfuR4MYR85iXm/RlaksnEfoI1nz2JsMVqhu8D 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,228,1716242400"; d="scan'208";a="92688939" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:20 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:20 +0200 Message-ID: <20240722113008.9057-24-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:21 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66457 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 E6CA027BBEA; Mon, 22 Jul 2024 12:53:22 +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 796CD27BBE2 for ; Mon, 22 Jul 2024 12:53:22 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrbE-0004wh-NQ; Mon, 22 Jul 2024 07:53: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 1sVrbB-0004dC-7E for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53: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 1sVrb9-0004mL-TK for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrbC-0007wo-RX for guix-patches@gnu.org; Mon, 22 Jul 2024 07:53:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71938] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:53:02 +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.172164912330423 (code B ref 71938); Mon, 22 Jul 2024 11:53:02 +0000 Received: (at 71938) by debbugs.gnu.org; 22 Jul 2024 11:52:03 +0000 Received: from localhost ([127.0.0.1]:57109 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVraC-0007uJ-RR for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:52:03 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27669) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFZ-0005En-14; Mon, 22 Jul 2024 07:30:42 -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=FldzCf8t878T+CYTC6okf86lhMmOpYdHqf4rkrsJJzmLQvk1WMGXqlcN 0r7cGmW9rmPWD6fKLZbreodV0nd/AzKyWqbUZyN++OEu6LzN1EyC5Q3uc MU1jlx/cifYrCjOJsw4+eJV+AfwMco4d1n6zgUFtn4vs/smzmeazThdDL w=; 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,228,1716242400"; d="scan'208";a="92688941" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:20 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:21 +0200 Message-ID: <20240722113008.9057-25-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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 Mon Jul 22 11:28:22 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Romain GARBAGE X-Patchwork-Id: 66452 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 E791327BBEA; Mon, 22 Jul 2024 12:33:17 +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 2765727BBE2 for ; Mon, 22 Jul 2024 12:33:17 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sVrHE-0000bU-Kp; Mon, 22 Jul 2024 07:32:24 -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 1sVrGr-00088A-EN for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32: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 1sVrGq-0007h1-Ep for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sVrGt-0007Il-Dj for guix-patches@gnu.org; Mon, 22 Jul 2024 07:32:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#44518] [PATCH v3 25/25] gnu: Add matterhorn. Resent-From: Romain GARBAGE Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Jul 2024 11:32: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.172164789828001 (code B ref 44518); Mon, 22 Jul 2024 11:32:03 +0000 Received: (at 44518) by debbugs.gnu.org; 22 Jul 2024 11:31:38 +0000 Received: from localhost ([127.0.0.1]:57083 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrGT-0007HT-Am for submit@debbugs.gnu.org; Mon, 22 Jul 2024 07:31:37 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:27684) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sVrFZ-0005go-QD; Mon, 22 Jul 2024 07:30:43 -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=X2Td+rFDb+YnKMRVbwRga1JJRTZmv0cCx1/TwcKDQzfyqrjIUAL64ulP Xl3fn+woww/ELSC5T2zDWRy7nd7vFu2j56FA+XTnvgG1fdPrKyVP9oXxw NWvixXRx8b5rpqeub1zLgPo+VeP59zIm5WgeSIEPQ/v6JxnI0kpTw+48n 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,228,1716242400"; d="scan'208";a="92688943" Received: from unknown (HELO guix-A102.bordeaux.inria.fr) ([193.50.110.122]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Jul 2024 13:30:20 +0200 From: Romain GARBAGE Date: Mon, 22 Jul 2024 13:28:22 +0200 Message-ID: <20240722113008.9057-26-romain.garbage@inria.fr> X-Mailer: git-send-email 2.45.1 In-Reply-To: <20240722113008.9057-1-romain.garbage@inria.fr> References: <20240722113008.9057-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")