GNU bug report logs - #44518
gnu: Add matterhorn.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 44518 in the body.
You can then email your comments to 44518 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: elaexuotee <at> wilsonb.com
To: guix-patches <at> gnu.org
Subject: gnu: Add matterhorn.
Date: Sun, 08 Nov 2020 21:53:24 +0900

[Message part 1 (text/plain, inline)]

Hey Guix,

This packages up a nice CLI client for Mattermost chat servers (a self-hosted,
libre Slack alternative).

Anyway, it's a Haskell package and ended up requiring quite a few
dependendencies along with a few version-updated alternatives to existing
packages.

The attached patch bundles all these up together, but what is the appropriate
convention in this case?

The bulk of the work is completely thanks to the hackage importer, but I did
spend quite a bit of time cleaning these up and sanity checking things.
Everything should pass the lint checks as well as indentation.

Also, for two packages, I had to disable tests. There are comments explaining
why in each case.

Let me know what you think!

[0001-gnu-Add-matterhorn.patch (text/x-patch, attachment)]

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: "(" <paren <at> disroot.org>
To: <elaexuotee <at> wilsonb.com>, <guix-patches <at> gnu.org>
Subject: Re: gnu: Add matterhorn.
Date: Sat, 10 Sep 2022 13:06:40 +0100

Hi,

This patch must have slipped through the cracks, but it was mentioned
on IRC today, so I decided to do a little review :)

First of all,

(1) You should have one commit per package.
(2) It's better, though not required, to use the procedure described here[1]
    to send patches, instead of using attachments. This makes it much easier
    to annotate the patch with review comments, at least here in aerc :)

[1] https://paste.sr.ht/~unmatched-paren/9114b1fa3d2088c7c71307dcae0d9e2b3620eb0c

> +    (inputs
> +     `(("ghc-random" ,ghc-random)
> +       ("ghc-quickcheck" ,ghc-quickcheck)
> +       ("ghc-semigroupoids" ,ghc-semigroupoids)))

You should use the "new style" of inputs:

> +    (inputs
> +     (list ghc-random
> +           ghc-quickcheck
> +           ghc-semigroupoids))

Same for any native- and propagated- inputs.

> +    (arguments
> +     `(#:cabal-revision
> +       ("3" "1ndz5x6njl35h73il5c6qpaqd4ynvg21n6k7sb8aq09gfbg544d8")))

There's also a new arguments style:

> +    (arguments
> +     (list #:cabal-revision
> +           (list "3" "1ndz5x6njl35h73il5c6qpaqd4ynvg21n6k7sb8aq09gfbg544d8")))

> +    (description
> +     "This library is intended to be a comprehensive solution to parsing and
> +selecting quality-indexed values in HTTP headers.  It is capable of parsing
> +both media types and language parameters from the Accept and Content header
> +families, and can be extended to match against other accept headers as well.
> +Selecting the appropriate header value is achieved by comparing a list of
> +server options against the quality-indexed values supplied by the client.")

This is a wee bit too long IMO.

    -- (

Message #11 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Maxime Devos <maximedevos <at> telenet.be>
To: "(" <paren <at> disroot.org>, elaexuotee <at> wilsonb.com, 44518 <at> debbugs.gnu.org
Subject: Re: [bug#44518] gnu: Add matterhorn.
Date: Mon, 12 Sep 2022 18:47:39 +0200

[Message part 1 (text/plain, inline)]

On 10-09-2022 14:06, ( via Guix-patches via wrote:
>> ription
>> +     "This library is intended to be a comprehensive solution to parsing and
>> +selecting quality-indexed values in HTTP headers.  It is capable of parsing
>> +both media types and language parameters from the Accept and Content header
>> +families, and can be extended to match against other accept headers as well.
>> +Selecting the appropriate header value is achieved by comparing a list of
>> +server options against the quality-indexed values supplied by the client.")
> This is a wee bit too long IMO.
> 
>      -- (
> 

Myself, I consider the length to be about perfect -- it isn't verbosely 
worded, it is only a single paragraph and it clearly explains what it 
can do.

Greetings,
Maxime.

[OpenPGP_0x49E3EE22191725EE.asc (application/pgp-keys, attachment)]

[OpenPGP_signature (application/pgp-signature, attachment)]

Message #14 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Mathieu <matf <at> disr.it>
To: 44518 <at> debbugs.gnu.org
Subject: Re: gnu: Add matterhorn.
Date: Fri, 4 Nov 2022 16:11:09 +0100

Do you receive email notifications from here, elaexuotee, and are you by any chance still an active Guix user? Matterhorn would be a great addition to Guix packages.

Message #17 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Romain GARBAGE <romain.garbage <at> inria.fr>
Cc: 71938 <at> debbugs.gnu.org, 44518 <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add matterhorn.
Date: Sun, 07 Jul 2024 01:07:25 +0200

Hi Romain,

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

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

There are a few minor quibbles:

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

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

-- 
Ricardo

Message #20 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: "Romain GARBAGE" <romain.garbage <at> inria.fr>
To: "Ricardo Wurmus" <rekado <at> elephly.net>
Cc: 71938 <at> debbugs.gnu.org, 44518 <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add matterhorn.
Date: Tue, 09 Jul 2024 11:02:36 +0200

Hi Ricardo,

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

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

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

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

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

-- 
Romain

Message #23 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 01/25] gnu: Add ghc-crypton.
Date: Tue,  9 Jul 2024 15:53:45 +0200

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

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

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

Message #26 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 02/25] gnu: Add ghc-crypton-x509.
Date: Tue,  9 Jul 2024 15:53:46 +0200

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

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

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

Message #29 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 00/25] Add matterhorn package.
Date: Tue,  9 Jul 2024 15:53:44 +0200

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

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

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

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

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

-- 
2.45.1

Message #32 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 03/25] gnu: Add ghc-crypton-x509-store.
Date: Tue,  9 Jul 2024 15:53:47 +0200

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

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

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

Message #35 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 05/25] gnu: Add ghc-crypton-x509-validation.
Date: Tue,  9 Jul 2024 15:53:49 +0200

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

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

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

Message #38 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 04/25] gnu: Add ghc-crypton-x509-system.
Date: Tue,  9 Jul 2024 15:53:48 +0200

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

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

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

Message #41 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 06/25] gnu: Add ghc-tls-1.9.
Date: Tue,  9 Jul 2024 15:53:50 +0200

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

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

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

Message #44 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 07/25] gnu: Add ghc-crypton-connection.
Date: Tue,  9 Jul 2024 15:53:51 +0200

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

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

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

Message #47 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 08/25] gnu: Add ghc-mattermost-api.
Date: Tue,  9 Jul 2024 15:53:52 +0200

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

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

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

Message #50 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 11/25] gnu: Add ghc-aspell-pipe.
Date: Tue,  9 Jul 2024 15:53:55 +0200

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

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

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

Message #53 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 09/25] gnu: Add ghc-mattermost-api-qc.
Date: Tue,  9 Jul 2024 15:53:53 +0200

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

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

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

Message #56 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 10/25] gnu: Add ghc-modern-uri.
Date: Tue,  9 Jul 2024 15:53:54 +0200

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

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

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

Message #59 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 12/25] gnu: Add ghc-bimap.
Date: Tue,  9 Jul 2024 15:53:56 +0200

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

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

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

Message #62 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 15/25] gnu: ghc-text-zipper: Update to 0.13.
Date: Tue,  9 Jul 2024 15:53:59 +0200

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

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

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

Message #65 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 13/25] gnu: Add ghc-checkers.
Date: Tue,  9 Jul 2024 15:53:57 +0200

* 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")
-- 
2.45.1

Message #68 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 14/25] gnu: Add ghc-monad-parallel.
Date: Tue,  9 Jul 2024 15:53:58 +0200

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

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

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

Message #71 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 16/25] gnu: Add ghc-stm-delay.
Date: Tue,  9 Jul 2024 15:54:00 +0200

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

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

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

Message #74 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 20/25] gnu: Add ghc-vty-unix.
Date: Tue,  9 Jul 2024 15:54:04 +0200

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

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

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

Message #77 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 18/25] gnu: Add ghc-unix-compat-7.
Date: Tue,  9 Jul 2024 15:54:02 +0200

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

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

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

Message #80 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 17/25] gnu: Add ghc-unique.
Date: Tue,  9 Jul 2024 15:54:01 +0200

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

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

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

Message #83 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 21/25] gnu: Add ghc-vty-6.
Date: Tue,  9 Jul 2024 15:54:05 +0200

* 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")
-- 
2.45.1

Message #86 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 24/25] gnu: Add ghc-brick-skylighting.
Date: Tue,  9 Jul 2024 15:54:08 +0200

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

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

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

Message #89 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 23/25] gnu: Add ghc-brick.
Date: Tue,  9 Jul 2024 15:54:07 +0200

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

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

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

Message #92 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 25/25] gnu: Add matterhorn.
Date: Tue,  9 Jul 2024 15:54:09 +0200

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

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

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

Message #95 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 19/25] gnu: Add ghc-vty-crossplatform.
Date: Tue,  9 Jul 2024 15:54:03 +0200

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

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

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

Message #98 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v2 22/25] gnu: Add ghc-hclip.
Date: Tue,  9 Jul 2024 15:54:06 +0200

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

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

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

Message #101 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 00/25] Add matterhorn package.
Date: Mon, 22 Jul 2024 13:27:57 +0200

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

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

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


base-commit: e5c0b62debc6f48a32a65736d9ba3da0b1e59cb9
-- 
2.45.1

Message #104 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 01/25] gnu: Add ghc-crypton.
Date: Mon, 22 Jul 2024 13:27:58 +0200

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

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

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

Message #107 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 02/25] gnu: Add ghc-crypton-x509.
Date: Mon, 22 Jul 2024 13:27:59 +0200

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

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

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

Message #110 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 03/25] gnu: Add ghc-crypton-x509-store.
Date: Mon, 22 Jul 2024 13:28:00 +0200

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

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

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

Message #113 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 04/25] gnu: Add ghc-crypton-x509-system.
Date: Mon, 22 Jul 2024 13:28:01 +0200

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

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

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

Message #116 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 05/25] gnu: Add ghc-crypton-x509-validation.
Date: Mon, 22 Jul 2024 13:28:02 +0200

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

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

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

Message #119 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 06/25] gnu: Add ghc-tls-1.9.
Date: Mon, 22 Jul 2024 13:28:03 +0200

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

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

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

Message #122 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 07/25] gnu: Add ghc-crypton-connection.
Date: Mon, 22 Jul 2024 13:28:04 +0200

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

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

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

Message #125 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 08/25] gnu: Add ghc-mattermost-api.
Date: Mon, 22 Jul 2024 13:28:05 +0200

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

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

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

Message #128 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc.
Date: Mon, 22 Jul 2024 13:28:06 +0200

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

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

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

Message #131 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 10/25] gnu: Add ghc-modern-uri.
Date: Mon, 22 Jul 2024 13:28:07 +0200

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

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

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

Message #134 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 11/25] gnu: Add ghc-aspell-pipe.
Date: Mon, 22 Jul 2024 13:28:08 +0200

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

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

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

Message #137 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 12/25] gnu: Add ghc-bimap.
Date: Mon, 22 Jul 2024 13:28:09 +0200

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

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

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

Message #140 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 14/25] gnu: Add ghc-monad-parallel.
Date: Mon, 22 Jul 2024 13:28:11 +0200

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

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

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

Message #143 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 13/25] gnu: Add ghc-checkers.
Date: Mon, 22 Jul 2024 13:28:10 +0200

* 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")
-- 
2.45.1

Message #146 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 16/25] gnu: Add ghc-stm-delay.
Date: Mon, 22 Jul 2024 13:28:13 +0200

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

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

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

Message #149 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 15/25] gnu: ghc-text-zipper: Update to 0.13.
Date: Mon, 22 Jul 2024 13:28:12 +0200

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

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

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

Message #152 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 17/25] gnu: Add ghc-unique.
Date: Mon, 22 Jul 2024 13:28:14 +0200

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

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

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

Message #155 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 18/25] gnu: Add ghc-unix-compat-7.
Date: Mon, 22 Jul 2024 13:28:15 +0200

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

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

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

Message #158 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform.
Date: Mon, 22 Jul 2024 13:28:16 +0200

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

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

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

Message #161 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 21/25] gnu: Add ghc-vty-6.
Date: Mon, 22 Jul 2024 13:28:18 +0200

* 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")
-- 
2.45.1

Message #164 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 23/25] gnu: Add ghc-brick.
Date: Mon, 22 Jul 2024 13:28:20 +0200

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

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

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

Message #167 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 22/25] gnu: Add ghc-hclip.
Date: Mon, 22 Jul 2024 13:28:19 +0200

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

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

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

Message #170 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 25/25] gnu: Add matterhorn.
Date: Mon, 22 Jul 2024 13:28:22 +0200

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

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

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

Message #173 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 24/25] gnu: Add ghc-brick-skylighting.
Date: Mon, 22 Jul 2024 13:28:21 +0200

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

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

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

Message #176 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Romain GARBAGE <romain.garbage <at> inria.fr>
To: 71938 <at> debbugs.gnu.org
Cc: rekado <at> elephly.net, Romain GARBAGE <romain.garbage <at> inria.fr>,
 44518 <at> debbugs.gnu.org
Subject: [PATCH v3 20/25] gnu: Add ghc-vty-unix.
Date: Mon, 22 Jul 2024 13:28:17 +0200

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

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

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

Message #179 received at 44518 <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Romain GARBAGE <romain.garbage <at> inria.fr>
Cc: 71938 <at> debbugs.gnu.org, 44518 <at> debbugs.gnu.org
Subject: Re: [PATCH v3 00/25] Add matterhorn package.
Date: Mon, 22 Jul 2024 16:26:55 +0200

Hi Romain,

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

thank you for the patches!  This looks good.  I'll go through the
descriptions one more time before pushing this tonight.

-- 
Ricardo

Message #184 received at 44518-done <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Romain GARBAGE <romain.garbage <at> inria.fr>
Cc: 71938-done <at> debbugs.gnu.org, 44518-done <at> debbugs.gnu.org
Subject: Re: [PATCH v3 00/25] Add matterhorn package.
Date: Tue, 23 Jul 2024 00:31:24 +0200

I modified some of the descriptions and fixed tests before pushing.

Thanks!

-- 
Ricardo

Previous Next

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