@dfn{anti-forensic information splitter} (AFIS).")
(license bsd-3)))
+(define-public ghc-memory
+ (package
+ (name "ghc-memory")
+ (version "0.10")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "memory/memory-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1xqs9zmjbjihb7gfbk25f2q00m2lsi4kc3jv672175ac8a36pgag"))))
+ (build-system haskell-build-system)
+ (native-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)))
+ (home-page "https://github.com/vincenthz/hs-memory")
+ (synopsis "Memory abstractions for Haskell")
+ (description
+ "This package provides memory abstractions, such as chunk of memory,
+polymorphic byte array management and manipulation functions. It contains a
+polymorphic byte array abstraction and functions similar to strict ByteString,
+different type of byte array abstraction, raw memory IO operations (memory
+set, memory copy, ..) and more")
+ (license bsd-3)))
+
+(define-public ghc-x509
+ (package
+ (name "ghc-x509")
+ (version "1.6.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "x509/x509-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1pmsby29abn485fvnymsgipvb3p1ch9c591xj5ncszkf0ivjiiin"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-memory" ,ghc-memory)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-hourglass" ,ghc-hourglass)
+ ("ghc-pem" ,ghc-pem)
+ ("ghc-asn1-types" ,ghc-asn1-types)
+ ("ghc-asn1-encoding" ,ghc-asn1-encoding)
+ ("ghc-asn1-parse" ,ghc-asn1-parse)
+ ("ghc-cryptonite" ,ghc-cryptonite)))
+ (native-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
+ (home-page "http://github.com/vincenthz/hs-certificate")
+ (synopsis "X509 reader and writer")
+ (description
+ "This library provides functions to read and write X509 certificates.")
+ (license bsd-3)))
+
+(define-public ghc-x509-store
+ (package
+ (name "ghc-x509-store")
+ (version "1.6.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "x509-store/x509-store-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "01abx528i9f7djq2772xyna8x2mykrnwqkcfrapcx7z3bhprvml3"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-pem" ,ghc-pem)
+ ("ghc-asn1-types" ,ghc-asn1-types)
+ ("ghc-asn1-encoding" ,ghc-asn1-encoding)
+ ("ghc-cryptonite" ,ghc-cryptonite)
+ ("ghc-x509" ,ghc-x509)))
+ (home-page "http://github.com/vincenthz/hs-certificate")
+ (synopsis "X.509 collection accessing and storing methods")
+ (description
+ "This package provides functions for accessing and storing X.509
+collections, certificates, revocation lists, and exception lists.")
+ (license bsd-3)))
+
+(define-public ghc-x509-validation
+ (package
+ (name "ghc-x509-validation")
+ (version "1.6.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "x509-validation/x509-validation-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "1qr1v561hdlhjgqjv9pj9mbk0q1xf2mr1j67ghy93nlxxyzd7dw0"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-memory" ,ghc-memory)
+ ("ghc-byteable" ,ghc-byteable)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-hourglass" ,ghc-hourglass)
+ ("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-pem" ,ghc-pem)
+ ("ghc-asn1-types" ,ghc-asn1-types)
+ ("ghc-asn1-encoding" ,ghc-asn1-encoding)
+ ("ghc-x509" ,ghc-x509)
+ ("ghc-x509-store" ,ghc-x509-store)
+ ("ghc-cryptonite" ,ghc-cryptonite)))
+ (home-page "http://github.com/vincenthz/hs-certificate")
+ (synopsis "X.509 certificate and revocation list validation")
+ (description
+ "This package provides functions for X.509 certificate and revocation
+list validation.")
+ (license bsd-3)))
+
+(define-public ghc-x509-system
+ (package
+ (name "ghc-x509-system")
+ (version "1.6.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "x509-system/x509-system-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "10qf60d2f9jqwnbrhsb2cwpi86xg66m6dxndlxw967v1cdb3h6gf"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-pem" ,ghc-pem)
+ ("ghc-x509" ,ghc-x509)
+ ("ghc-x509-store" ,ghc-x509-store)))
+ (home-page "http://github.com/vincenthz/hs-certificate")
+ (synopsis "Handle system X.509 accessors and storage")
+ (description
+ "This package provides a library to handle system accessors and storage
+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.")
+ (license bsd-3)))
+
+(define-public ghc-socks
+ (package
+ (name "ghc-socks")
+ (version "0.5.4")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "socks/socks-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1nmldlwxqasmg359i2aa3a903gi3lmnlspvf12xk49jrg3mf3dg9"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-cereal" ,ghc-cereal)
+ ("ghc-network" ,ghc-network)))
+ (home-page "http://github.com/vincenthz/hs-socks")
+ (synopsis "SOCKS proxy (version 5) implementation.")
+ (description
+ "This library provides a SOCKS proxy (version 5) implementation.")
+ (license bsd-3)))
+
+(define-public ghc-connection
+ (package
+ (name "ghc-connection")
+ (version "0.2.5")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "connection/connection-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "090il95jnm7ihwvcx3s9v6iwnp37nnsdx15q7722l845g51d95c8"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-byteable" ,ghc-byteable)
+ ("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-network" ,ghc-network)
+ ("ghc-tls" ,ghc-tls)
+ ("ghc-socks" ,ghc-socks)
+ ("ghc-x509" ,ghc-x509)
+ ("ghc-x509-store" ,ghc-x509-store)
+ ("ghc-x509-system" ,ghc-x509-system)
+ ("ghc-x509-validation" ,ghc-x509-validation)))
+ (home-page "http://github.com/vincenthz/hs-connection")
+ (synopsis "Simple and easy network connections API")
+ (description
+ "This package provides a simple network library for all your connection
+needs. It provides a very simple API to create sockets to a destination with
+the choice of SSL/TLS, and SOCKS.")
+ (license bsd-3)))
+
+(define-public ghc-http-client-tls
+ (package
+ (name "ghc-http-client-tls")
+ (version "0.2.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "http-client-tls/http-client-tls-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0a01r05h5fxswyn6k6cgqgak4scqjan72hyy5wbdqzzhl4rmh7j5"))))
+ (build-system haskell-build-system)
+ ;; Tests require Internet access
+ (arguments `(#:tests? #f))
+ (propagated-inputs
+ `(("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-http-client" ,ghc-http-client)
+ ("ghc-connection" ,ghc-connection)
+ ("ghc-network" ,ghc-network)
+ ("ghc-tls" ,ghc-tls)
+ ("ghc-http-types" ,ghc-http-types)))
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)))
+ (home-page "https://github.com/snoyberg/http-client")
+ (synopsis "Backend for http-client using the TLS library")
+ (description
+ "This package provides a backend for the http-client package using the
+connection and TLS libraries. It is intended for use by higher-level
+libraries, such as http-conduit.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")