unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Romain GARBAGE <romain.garbage@inria.fr>
To: 71938@debbugs.gnu.org
Cc: rekado@elephly.net, Romain GARBAGE <romain.garbage@inria.fr>,
	44518@debbugs.gnu.org
Subject: [bug#44518] [PATCH v2 06/25] gnu: Add ghc-tls-1.9.
Date: Tue,  9 Jul 2024 15:53:50 +0200	[thread overview]
Message-ID: <20240709140812.6183-7-romain.garbage@inria.fr> (raw)
In-Reply-To: <20240709140812.6183-1-romain.garbage@inria.fr>

* 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





  parent reply	other threads:[~2024-07-09 14:10 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-07-04 10:36 [bug#71938] [PATCH] gnu: Add matterhorn Romain GARBAGE
2024-07-06 23:07 ` Ricardo Wurmus
2024-07-09  9:02   ` [bug#44518] " Romain GARBAGE
2024-07-09 13:53 ` [bug#71938] [PATCH v2 00/25] Add matterhorn package Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 01/25] gnu: Add ghc-crypton Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 02/25] gnu: Add ghc-crypton-x509 Romain GARBAGE
2024-07-09 13:53     ` [bug#71938] " Romain GARBAGE
2024-07-09 13:53   ` [bug#71938] [PATCH v2 03/25] gnu: Add ghc-crypton-x509-store Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 04/25] gnu: Add ghc-crypton-x509-system Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 05/25] gnu: Add ghc-crypton-x509-validation Romain GARBAGE
2024-07-09 13:53   ` Romain GARBAGE [this message]
2024-07-09 13:53   ` [bug#44518] [PATCH v2 07/25] gnu: Add ghc-crypton-connection Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 08/25] gnu: Add ghc-mattermost-api Romain GARBAGE
2024-07-09 13:53   ` [bug#71938] [PATCH v2 09/25] gnu: Add ghc-mattermost-api-qc Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 10/25] gnu: Add ghc-modern-uri Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 11/25] gnu: Add ghc-aspell-pipe Romain GARBAGE
2024-07-09 13:53   ` [bug#71938] [PATCH v2 12/25] gnu: Add ghc-bimap Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 13/25] gnu: Add ghc-checkers Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 14/25] gnu: Add ghc-monad-parallel Romain GARBAGE
2024-07-09 13:53   ` [bug#44518] [PATCH v2 15/25] gnu: ghc-text-zipper: Update to 0.13 Romain GARBAGE
2024-07-09 13:54   ` [bug#44518] [PATCH v2 16/25] gnu: Add ghc-stm-delay Romain GARBAGE
2024-07-09 13:54   ` [bug#71938] [PATCH v2 17/25] gnu: Add ghc-unique Romain GARBAGE
2024-07-09 13:54     ` [bug#44518] " Romain GARBAGE
2024-07-09 13:54   ` [bug#44518] [PATCH v2 18/25] gnu: Add ghc-unix-compat-7 Romain GARBAGE
2024-07-09 13:54   ` [bug#71938] [PATCH v2 19/25] gnu: Add ghc-vty-crossplatform Romain GARBAGE
2024-07-09 13:54   ` [bug#71938] [PATCH v2 20/25] gnu: Add ghc-vty-unix Romain GARBAGE
2024-07-09 13:54   ` [bug#44518] [PATCH v2 21/25] gnu: Add ghc-vty-6 Romain GARBAGE
2024-07-09 13:54   ` [bug#44518] [PATCH v2 22/25] gnu: Add ghc-hclip Romain GARBAGE
2024-07-09 13:54   ` [bug#71938] [PATCH v2 23/25] gnu: Add ghc-brick Romain GARBAGE
2024-07-09 13:54   ` [bug#71938] [PATCH v2 24/25] gnu: Add ghc-brick-skylighting Romain GARBAGE
2024-07-09 13:54   ` [bug#44518] [PATCH v2 25/25] gnu: Add matterhorn Romain GARBAGE

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20240709140812.6183-7-romain.garbage@inria.fr \
    --to=romain.garbage@inria.fr \
    --cc=44518@debbugs.gnu.org \
    --cc=71938@debbugs.gnu.org \
    --cc=rekado@elephly.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).