From 1c587da7c40e6b6a871552c0c4fc37249f88bdca Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Date: Fri, 27 Nov 2015 13:38:04 +0100
Subject: [PATCH 26/30] gnu: Add ghc-tls.

* gnu/packages/haskell.scm (ghc-tls): New variable.
---
 gnu/packages/haskell.scm | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index af26993..d52020c 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6045,6 +6045,43 @@ list validation.")
 for X.509 certificates.")
     (license bsd-3)))
 
+(define-public ghc-tls
+  (package
+  (name "ghc-tls")
+  (version "1.3.3")
+  (source (origin
+            (method url-fetch)
+            (uri (string-append "http://hackage.haskell.org/package/"
+                                "tls/tls-" version ".tar.gz"))
+            (sha256
+             (base32
+              "096ay54bwy6qi9z8ypncww3ls853zj37yaficvcg7qcqj42zn0wz"))))
+  (build-system haskell-build-system)
+  (propagated-inputs
+    `(("ghc-mtl" ,ghc-mtl)
+      ("ghc-cereal" ,ghc-cereal)
+      ("ghc-data-default-class" ,ghc-data-default-class)
+      ("ghc-memory" ,ghc-memory)
+      ("ghc-cryptonite" ,ghc-cryptonite)
+      ("ghc-asn1-types" ,ghc-asn1-types)
+      ("ghc-asn1-encoding" ,ghc-asn1-encoding)
+      ("ghc-x509" ,ghc-x509)
+      ("ghc-x509-store" ,ghc-x509-store)
+      ("ghc-x509-validation" ,ghc-x509-validation)
+      ("ghc-async" ,ghc-async)
+      ("ghc-network" ,ghc-network)
+      ("ghc-hourglass" ,ghc-hourglass)))
+  (native-inputs
+   `(("ghc-tasty" ,ghc-tasty)
+     ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+     ("ghc-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. . Some debug tools linked with tls, are available through the <http://hackage.haskell.org/package/tls-debug/>.")
+  (license bsd-3)))
+
 (define-public idris
   (package
     (name "idris")
-- 
2.1.0