[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Add Pandoc (and whatever it needs)
|
From: |
Ricardo Wurmus |
|
Subject: |
[PATCH] Add Pandoc (and whatever it needs) |
|
Date: |
Fri, 27 Nov 2015 13:50:13 +0100 |
Hi Guix,
this is the second batch of Haskell packages we need to have a Pandoc
package. These patches apply after the other patch set I sent to the ML
yesterday.
(BTW: if you just need a simple markdown converter (with an extensible
grammar) I recommend peg-markdown. It has very few dependencies and is
a good alternative for many applications that really just want to
convert markdown.)
~~ Ricardo
>From 053a99f042c8061633b8138ce6afe5db655d1430 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:28:41 +0100
Subject: [PATCH 01/30] gnu: Add ghc-hspec-contrib.
* gnu/packages/haskell.scm (ghc-hspec-contrib): New variable.
---
gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index ecd687b..45c58c2 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -3435,6 +3435,30 @@ responses coming back.")
Haskell, inspired by the Ruby library RSpec.")
(license expat)))
+(define-public ghc-hspec-contrib
+ (package
+ (name "ghc-hspec-contrib")
+ (version "0.3.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "hspec-contrib/hspec-contrib-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "006syw8xagfhsx06ws9ywig1qx5lk4cgl7sq6pbid1s64c72mxn4"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-hspec-core" ,ghc-hspec-core)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "http://hspec.github.io/";)
+ (synopsis "Contributed functionality for Hspec")
+ (description
+ "This package provides contributed Hspec extensions.")
+ (license expat)))
+
(define-public ghc-hspec-expectations
(package
(name "ghc-hspec-expectations")
--
2.1.0
>From afeba9eeb7da7037cac42442bf197d964f43a0a1 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:29:17 +0100
Subject: [PATCH 02/30] gnu: Add ghc-conduit.
* gnu/packages/haskell.scm (ghc-conduit): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 45c58c2..e75c9d2 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5390,6 +5390,40 @@ the function @code{aesonQQ} that compile-time converts a
string representation
of a JSON value into a @code{Data.Aeson.Value}.")
(license expat)))
+(define-public ghc-conduit
+ (package
+ (name "ghc-conduit")
+ (version "1.2.5.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "conduit/conduit-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0aq6wswd5dkhdmy7sjhd99mldpq33dqpgbdcwpm94ahvckqxs7v5"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-exceptions" ,ghc-exceptions)
+ ("ghc-lifted-base" ,ghc-lifted-base)
+ ("ghc-mmorph" ,ghc-mmorph)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-resourcet" ,ghc-resourcet)
+ ("ghc-transformers-base" ,ghc-transformers-base)
+ ("ghc-void" ,ghc-void)))
+ (native-inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-hspec" ,ghc-hspec)
+ ("ghc-safe" ,ghc-safe)))
+ (home-page "https://github.com/snoyberg/conduit";)
+ (synopsis "Streaming data library ")
+ (description
+ "conduit is a solution to the streaming data problem, allowing for
+production, transformation, and consumption of streams of data in constant
+memory. It is an alternative to lazy I/O which guarantees deterministic
+resource handling, and fits in the same general solution space as
+enumerator/iteratee and pipes." )
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From ad9c02e07111554b68db7684b23038bb1b096d6b Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:29:36 +0100
Subject: [PATCH 03/30] gnu: Add ghc-logging-facade.
* gnu/packages/haskell.scm (ghc-logging-facade): New variable.
---
gnu/packages/haskell.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index e75c9d2..3824abc 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5424,6 +5424,28 @@ resource handling, and fits in the same general solution
space as
enumerator/iteratee and pipes." )
(license expat)))
+(define-public ghc-logging-facade
+ (package
+ (name "ghc-logging-facade")
+ (version "0.1.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "logging-facade/logging-facade-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0zhdbjyj0j9by19rma9alxysrxnnl3s4kks4zk4bx0dg5xa0264y"))))
+ (build-system haskell-build-system)
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)))
+ (home-page "http://hackage.haskell.org/package/logging-facade";)
+ (synopsis "Simple logging abstraction that allows multiple back-ends")
+ (description
+ "This package provides a simple logging abstraction that allows multiple
+back-ends.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 4a8182a1bbfccb97e40dab1184ec5c786b3ad021 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:29:55 +0100
Subject: [PATCH 04/30] gnu: Add ghc-mockery.
* gnu/packages/haskell.scm (ghc-mockery): New variable.
---
gnu/packages/haskell.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 3824abc..3407994 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5446,6 +5446,29 @@ enumerator/iteratee and pipes." )
back-ends.")
(license expat)))
+(define-public ghc-mockery
+ (package
+ (name "ghc-mockery")
+ (version "0.3.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "mockery/mockery-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0m0lp2z63sgkylz5318j53r5hnrkp705qh7nqbb149ir4gy7g1bg"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-temporary" ,ghc-temporary)
+ ("ghc-logging-facade" ,ghc-logging-facade)))
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)))
+ (home-page "http://hackage.haskell.org/package/mockery";)
+ (synopsis "Support functions for automated testing")
+ (description
+ "The mockery package provides support functions for automated testing.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From adc4d94784dea482894077f09be02cf570b5b73b Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:30:17 +0100
Subject: [PATCH 05/30] gnu: Add ghc-yaml.
* gnu/packages/haskell.scm (ghc-yaml): New variable.
---
gnu/packages/haskell.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 3407994..6163ae6 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5469,6 +5469,40 @@ back-ends.")
"The mockery package provides support functions for automated testing.")
(license expat)))
+(define-public ghc-yaml
+ (package
+ (name "ghc-yaml")
+ (version "0.8.15.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "yaml/yaml-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0v6c435xmgm99zxb30pqr7lhkb2a56wxqp70g4hjz8p7rj0vichx"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-conduit" ,ghc-conduit)
+ ("ghc-resourcet" ,ghc-resourcet)
+ ("ghc-aeson" ,ghc-aeson)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-text" ,ghc-text)
+ ("ghc-attoparsec" ,ghc-attoparsec)
+ ("ghc-scientific" ,ghc-scientific)
+ ("ghc-enclosed-exceptions" ,ghc-enclosed-exceptions)
+ ("ghc-aeson-qq" ,ghc-aeson-qq)
+ ("ghc-base-compat" ,ghc-base-compat)))
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-mockery" ,ghc-mockery)))
+ (home-page "http://github.com/snoyberg/yaml/";)
+ (synopsis "Support for parsing and rendering YAML documents")
+ (description
+ "This package provides a library to parse and render YAML documents.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From f258600c88dc463233713371704706d77fa7e87b Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:30:37 +0100
Subject: [PATCH 06/30] gnu: Add ghc-filemanip.
* gnu/packages/haskell.scm (ghc-filemanip): New variable.
---
gnu/packages/haskell.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 6163ae6..8833932 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5503,6 +5503,29 @@ back-ends.")
"This package provides a library to parse and render YAML documents.")
(license bsd-3)))
+(define-public ghc-filemanip
+ (package
+ (name "ghc-filemanip")
+ (version "0.3.6.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "filemanip/filemanip-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0ilqr8jv41zxcj5qyicg29m8s30b9v70x6f9h2h2rw5ap8bxldl8"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-unix-compat" ,ghc-unix-compat)))
+ (home-page "https://github.com/bos/filemanip";)
+ (synopsis "File and directory manipulation for Haskell")
+ (description
+ "This package provides a Haskell library for working with files and
+directories. It includes code for pattern matching, finding files, modifying
+file contents, and more.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 47d26cff905af41f97b10f79f3239c9294425f53 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:30:54 +0100
Subject: [PATCH 07/30] gnu: Add ghc-mmap.
* gnu/packages/haskell.scm (ghc-mmap): New variable.
---
gnu/packages/haskell.scm | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 8833932..5f9c951 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5526,6 +5526,26 @@ directories. It includes code for pattern matching,
finding files, modifying
file contents, and more.")
(license bsd-3)))
+(define-public ghc-mmap
+ (package
+ (name "ghc-mmap")
+ (version "0.5.9")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "mmap/mmap-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1y5mk3yf4b8r6rzmlx1xqn4skaigrqnv08sqq0v7r3nbw42bpz2q"))))
+ (build-system haskell-build-system)
+ (home-page "http://hackage.haskell.org/package/mmap";)
+ (synopsis "Memory mapped files for Haskell")
+ (description
+ "This library provides a wrapper to mmap, allowing files or devices to be
+lazily loaded into memory as strict or lazy ByteStrings, ForeignPtrs or plain
+Ptrs, using the virtual memory subsystem to do on-demand loading.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 1b533cd6609f0a3a3cfd188390519cbbbc66ae70 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:31:11 +0100
Subject: [PATCH 08/30] gnu: Add ghc-juicypixels.
* gnu/packages/haskell.scm (ghc-juicypixels): New variable.
---
gnu/packages/haskell.scm | 26 ++++++++++++++++++++++++++
1 file changed, 26 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 5f9c951..70c43ce 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5546,6 +5546,32 @@ lazily loaded into memory as strict or lazy ByteStrings,
ForeignPtrs or plain
Ptrs, using the virtual memory subsystem to do on-demand loading.")
(license bsd-3)))
+(define-public ghc-juicypixels
+ (package
+ (name "ghc-juicypixels")
+ (version "3.2.6.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "JuicyPixels/JuicyPixels-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0hxa57cdknz86zywpjwfbdhac5lmk7j0wd5hy4mcnb8mw6r2m592"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-zlib" ,ghc-zlib)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-primitive" ,ghc-primitive)
+ ("ghc-mmap" ,ghc-mmap)))
+ (home-page "https://github.com/Twinside/Juicy.Pixels";)
+ (synopsis "Picture loading and serialization library")
+ (description
+ "This library can load and store images in PNG, Bitmap, Jpeg, Radiance,
+Tiff and Gif formats.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From bff255a102f03a216e9dcb011ed899ed6d0ae59f Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:31:32 +0100
Subject: [PATCH 09/30] gnu: Add ghc-sha.
* gnu/packages/haskell.scm (ghc-sha): New variable.
---
gnu/packages/haskell.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 70c43ce..b5bf991 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5572,6 +5572,33 @@ Ptrs, using the virtual memory subsystem to do on-demand
loading.")
Tiff and Gif formats.")
(license bsd-3)))
+(define-public ghc-sha
+ (package
+ (name "ghc-sha")
+ (version "1.6.4.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "SHA/SHA-" version ".tar.gz"))
+ (sha256
+ (base32
+ "134ajm87fm4lpsw86m9q8apv20dw4bpk46raa389zr6bcdpifw64"))))
+ (build-system haskell-build-system)
+ (native-inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-test-framework" ,ghc-test-framework)
+ ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)))
+ (home-page "http://hackage.haskell.org/package/SHA";)
+ (synopsis "Implementations of the SHA suite of message digest functions")
+ (description
+ "This library implements the SHA suite of message digest functions,
+according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the
+SHA-based HMAC routines. The functions have been tested against most of the
+NIST and RFC test vectors for the various functions. While some attention has
+been paid to performance, these do not presently reach the speed of well-tuned
+libraries, like OpenSSL.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 4ce3dc8efbf9d846259bf2f5c57bf97869c06229 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:31:52 +0100
Subject: [PATCH 10/30] gnu: Add ghc-hslua.
* gnu/packages/haskell.scm (ghc-hslua): New variable.
---
gnu/packages/haskell.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index b5bf991..131a888 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -42,6 +42,7 @@
#:use-module (gnu packages ghostscript)
#:use-module (gnu packages libffi)
#:use-module (gnu packages libedit)
+ #:use-module (gnu packages lua)
#:use-module (gnu packages multiprecision)
#:use-module (gnu packages ncurses)
#:use-module (gnu packages python)
@@ -5599,6 +5600,37 @@ been paid to performance, these do not presently reach
the speed of well-tuned
libraries, like OpenSSL.")
(license bsd-3)))
+(define-public ghc-hslua
+ (package
+ (name "ghc-hslua")
+ (version "0.4.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "hslua/hslua-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0gqp6qhp4v24kzv2j49kgk7bxqzw0w10x0zr0r2j9wkfavqb9wid"))))
+ (build-system haskell-build-system)
+ (arguments
+ `(#:configure-flags '("-fsystem-lua")))
+ (inputs
+ `(("lua" ,lua-5.1)))
+ (propagated-inputs
+ `(("ghc-text" ,ghc-text)))
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)
+ ("ghc-hspec-contrib" ,ghc-hspec-contrib)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-quickcheck-instances" ,ghc-quickcheck-instances)))
+ (home-page "http://hackage.haskell.org/package/hslua";)
+ (synopsis "Lua language interpreter embedding in Haskell")
+ (description
+ "The Scripting.Lua module is a wrapper of the Lua language interpreter as
+described in @url{http://www.lua.org/}.";)
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From a1a539c3cb2af0167409ea1a974e085103a07470 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:32:10 +0100
Subject: [PATCH 11/30] gnu: Add ghc-mime-types.
* gnu/packages/haskell.scm (ghc-mime-types): New variable.
---
gnu/packages/haskell.scm | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 131a888..f1f8b23 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5631,6 +5631,27 @@ libraries, like OpenSSL.")
described in @url{http://www.lua.org/}.";)
(license expat)))
+(define-public ghc-mime-types
+ (package
+ (name "ghc-mime-types")
+ (version "0.1.0.6")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "mime-types/mime-types-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "090z3dp928243amnc6s8g10rk2h2bprk9y138q6wj3cpflzr72pw"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-text" ,ghc-text)))
+ (home-page "https://github.com/yesodweb/wai";)
+ (synopsis "Basic mime-type handling types and functions")
+ (description
+ "This library provides basic mime-type handling types and functions.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From f61ef2841294191a6666204f7ae57aa6f9224172 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:32:30 +0100
Subject: [PATCH 12/30] gnu: Add ghc-http-client.
* gnu/packages/haskell.scm (ghc-http-client): New variable.
---
gnu/packages/haskell.scm | 41 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index f1f8b23..be3931e 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5652,6 +5652,47 @@ described in @url{http://www.lua.org/}.";)
"This library provides basic mime-type handling types and functions.")
(license expat)))
+(define-public ghc-http-client
+ (package
+ (name "ghc-http-client")
+ (version "0.4.24")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "http-client/http-client-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0xz133kdfiyy2rm6z95bmvjj6y2540xzd86cfmdv9s6kz4p1ir4k"))))
+ (build-system haskell-build-system)
+ ;; Tests require access to the web.
+ (arguments `(#:tests? #f))
+ (propagated-inputs
+ `(("ghc-text" ,ghc-text)
+ ("ghc-http-types" ,ghc-http-types)
+ ("ghc-blaze-builder" ,ghc-blaze-builder)
+ ("ghc-data-default-class" ,ghc-data-default-class)
+ ("ghc-network" ,ghc-network)
+ ("ghc-streaming-commons" ,ghc-streaming-commons)
+ ("ghc-case-insensitive" ,ghc-case-insensitive)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)
+ ("ghc-cookie" ,ghc-cookie)
+ ("ghc-exceptions" ,ghc-exceptions)
+ ("ghc-random" ,ghc-random)
+ ("ghc-mime-types" ,ghc-mime-types)
+ ("ghc-network-uri" ,ghc-network-uri)
+ ("ghc-monad-control" ,ghc-monad-control)
+ ("ghc-zlib" ,ghc-zlib)
+ ("ghc-async" ,ghc-async)))
+ (native-inputs
+ `(("ghc-hspec" ,ghc-hspec)))
+ (home-page "https://github.com/snoyberg/http-client";)
+ (synopsis "HTTP client engine")
+ (description
+ "This package provides an HTTP client engine, intended as a base layer
+for more user-friendly packages.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From bfc243782350f3a96c4dac07abbb71ce8604eb1a Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:32:50 +0100
Subject: [PATCH 13/30] gnu: Add ghc-byteable.
* gnu/packages/haskell.scm (ghc-byteable): New variable.
---
gnu/packages/haskell.scm | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index be3931e..a2707e8 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5693,6 +5693,26 @@ described in @url{http://www.lua.org/}.";)
for more user-friendly packages.")
(license expat)))
+(define-public ghc-byteable
+ (package
+ (name "ghc-byteable")
+ (version "0.1.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "byteable/byteable-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1qizg0kxxjqnd3cbrjhhidk5pbbciz0pb3z5kzikjjxnnnhk8fr4"))))
+ (build-system haskell-build-system)
+ (home-page "http://github.com/vincenthz/hs-byteable";)
+ (synopsis "Type class for sequence of bytes")
+ (description
+ "This package provides an abstract class to manipulate sequence of bytes.
+The use case of this class is abstracting manipulation of types that are just
+wrapping a bytestring with stronger and more meaniful name.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 2f2d666531e7d6b5c3d496a8e77be8efc4dceae9 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:33:12 +0100
Subject: [PATCH 14/30] gnu: Add ghc-hourglass.
* gnu/packages/haskell.scm (ghc-hourglass): New variable.
---
gnu/packages/haskell.scm | 29 +++++++++++++++++++++++++++++
1 file changed, 29 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a2707e8..8f2d196 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5713,6 +5713,35 @@ The use case of this class is abstracting manipulation
of types that are just
wrapping a bytestring with stronger and more meaniful name.")
(license bsd-3)))
+(define-public ghc-hourglass
+ (package
+ (name "ghc-hourglass")
+ (version "0.2.9")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "hourglass/hourglass-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1xha17nwzxdjizbcp63d2142c6q051y77facs7xribgcl5iz2m4v"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-old-locale" ,ghc-old-locale)))
+ (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-hourglass";)
+ (synopsis "Simple time-related library for Haskell")
+ (description
+ "This is a simple time library providing a simple but powerful and
+performant API. The backbone of the library are the @code{Timeable} and
address@hidden type classes. Each @code{Timeable} instances can be converted to
+a type that has a @code{Time} instances, and thus are different
+representations of current time.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 625d51772e0adc17d473af47cdabfa0f8010e54e Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:33:29 +0100
Subject: [PATCH 15/30] gnu: Add ghc-pem.
* gnu/packages/haskell.scm (ghc-pem): New variable.
---
gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++
1 file changed, 28 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 8f2d196..7e0ed5b 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5742,6 +5742,34 @@ a type that has a @code{Time} instances, and thus are
different
representations of current time.")
(license bsd-3)))
+(define-public ghc-pem
+ (package
+ (name "ghc-pem")
+ (version "0.2.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "pem/pem-" version ".tar.gz"))
+ (sha256
+ (base32
+ "162sk5sg22w21wqz5qv8kx6ibxp99v5p20g3nknhm1kddk3hha1p"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-mtl" ,ghc-mtl)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)))
+ (native-inputs
+ `(("ghc-test-framework" ,ghc-test-framework)
+ ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)
+ ("ghc-test-framework-hunit" ,ghc-test-framework-hunit)
+ ("ghc-hunit" ,ghc-hunit)
+ ("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "http://github.com/vincenthz/hs-pem";)
+ (synopsis "Privacy Enhanced Mail (PEM) format reader and writer.")
+ (description
+ "This library provides readers and writers for the @dfn{Privacy Enhanced
+Mail} (PEM) format.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 31cc7f6dc24ef6fda882f90ff831d5a4f6a9eb70 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:33:47 +0100
Subject: [PATCH 16/30] gnu: Add ghc-asn1-types.
* gnu/packages/haskell.scm (ghc-asn1-types): New variable.
---
gnu/packages/haskell.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 7e0ed5b..52eddf2 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5770,6 +5770,29 @@ representations of current time.")
Mail} (PEM) format.")
(license bsd-3)))
+(define-public ghc-asn1-types
+ (package
+ (name "ghc-asn1-types")
+ (version "0.3.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "asn1-types/asn1-types-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "1iif9yrh4mmj249gyvam0zb2vb3jnlz777gahh2z9sx00dsx9rja"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-memory" ,ghc-memory)
+ ("ghc-hourglass" ,ghc-hourglass)))
+ (home-page "http://github.com/vincenthz/hs-asn1-types";)
+ (synopsis "ASN.1 types for Haskell")
+ (description
+ "The packaga provides the standard types for dealing with the ASN.1
+format.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From e4ebceb4406c3a1f73eb9424a0334869c92ae685 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:34:08 +0100
Subject: [PATCH 17/30] gnu: Add ghc-asn1-encoding.
* gnu/packages/haskell.scm (ghc-asn1-encoding): New variable.
---
gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++
1 file changed, 28 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 52eddf2..7907314 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5793,6 +5793,34 @@ Mail} (PEM) format.")
format.")
(license bsd-3)))
+(define-public ghc-asn1-encoding
+ (package
+ (name "ghc-asn1-encoding")
+ (version "0.9.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "asn1-encoding/asn1-encoding-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "01ki5msrpccgdbdiaaa5a9zw0icp1hki4hca8qx6hzlp0rcf1mwh"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-hourglass" ,ghc-hourglass)
+ ("ghc-asn1-types" ,ghc-asn1-types)
+ ("ghc-text" ,ghc-text)
+ ("ghc-mtl" ,ghc-mtl)))
+ (native-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
+ (home-page "http://github.com/vincenthz/hs-asn1";)
+ (synopsis "ASN1 data reader and writer in RAW, BER and DER forms")
+ (description
+ "This package provides a reader and writer for ASN1 data in raw form with
+supports for high level forms of ASN1 (BER, and DER).")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 9cbfe0f153e4a2631a5c639c019e2f75c528bebc Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:34:35 +0100
Subject: [PATCH 18/30] gnu: Add ghc-asn1-parse.
* gnu/packages/haskell.scm (ghc-asn1-parse): New variable.
---
gnu/packages/haskell.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 7907314..bd1aa2c 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5821,6 +5821,29 @@ format.")
supports for high level forms of ASN1 (BER, and DER).")
(license bsd-3)))
+(define-public ghc-asn1-parse
+ (package
+ (name "ghc-asn1-parse")
+ (version "0.9.4")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "asn1-parse/asn1-parse-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "025prsihk5g6rdv9xlfmj0zpa0wa3qjzj5i4ilzvg7f6f3sji8y6"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-asn1-types" ,ghc-asn1-types)
+ ("ghc-asn1-encoding" ,ghc-asn1-encoding)))
+ (home-page "https://github.com/vincenthz/hs-asn1";)
+ (synopsis "Simple monadic parser for ASN1 stream types")
+ (description
+ "This package provides a simple monadic parser for ASN1 stream types,
+when ASN1 pattern matching is not convenient.")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 8239c2d06d670ddfb6ecff2a7c7bbd3b2fef6b88 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:34:59 +0100
Subject: [PATCH 19/30] gnu: Add ghc-tasty-kat.
* gnu/packages/haskell.scm (ghc-tasty-kat): New variable.
---
gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index bd1aa2c..eef703f 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5844,6 +5844,30 @@ supports for high level forms of ASN1 (BER, and DER).")
when ASN1 pattern matching is not convenient.")
(license bsd-3)))
+(define-public ghc-tasty-kat
+ (package
+ (name "ghc-tasty-kat")
+ (version "0.0.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "tasty-kat/tasty-kat-" version ".tar.gz"))
+ (sha256
+ (base32
+ "14yvlpli6cv6bn3kh8mlfp4x1l6ns4fvmfv6hmj75cvxyzq029d7"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)))
+ (home-page "https://github.com/vincenthz/tasty-kat";)
+ (synopsis "Known Answer Tests (KAT) framework for tasty")
+ (description
+ "This package provides a @dfn{Known Answer Tests} (KAT) framework for
+tasty.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From bab3c65317ae9061d875a016b81dabc38f78bc5c Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:35:24 +0100
Subject: [PATCH 20/30] gnu: Add ghc-cryptonite.
* gnu/packages/haskell.scm (ghc-cryptonite): 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 eef703f..3b58137 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5868,6 +5868,43 @@ when ASN1 pattern matching is not convenient.")
tasty.")
(license expat)))
+(define-public ghc-cryptonite
+ (package
+ (name "ghc-cryptonite")
+ (version "0.9")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/";
+ "cryptonite/cryptonite-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "1h22x22lq2m8h456v5j50xm0l25bcm3h1pchsk83br909hjxql4z"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-memory" ,ghc-memory)
+ ("ghc-byteable" ,ghc-byteable)))
+ (native-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)
+ ("ghc-tasty-kat" ,ghc-tasty-kat)))
+ (home-page "https://github.com/haskell-crypto/cryptonite";)
+ (synopsis "Cryptography primitives")
+ (description
+ "This package is a repository of cryptographic primitives for Haskell.
+It strives to be a cryptographic kitchen sink that provides cryptography for
+everyone.
+
+Supported symmetric ciphers: AES, DES, 3DES, Blowfish, Camellia, RC4, Salsa,
+ChaCha; supported hash functions: SHA1, SHA2, SHA3, MD2, MD4, MD5, Keccak,
+Skein, Ripemd, Tiger, Whirlpool, Blake2; MAC: HMAC, Poly1305; assymmetric
+crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Ed25519; key derivation
+functions: PBKDF2, Scrypt; cryptographic random number generation: system
+entropy, deterministic random generator; data-related features:
address@hidden information splitter} (AFIS).")
+ (license bsd-3)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
>From 4833e8ec73a57a917bec8b6925f7134e41f57969 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:36:07 +0100
Subject: [PATCH 21/30] gnu: Add ghc-memory.
* gnu/packages/haskell.scm (ghc-memory): New variable.
---
gnu/packages/haskell.scm | 26 ++++++++++++++++++++++++++
1 file changed, 26 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 3b58137..d87535d 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5905,6 +5905,32 @@ entropy, deterministic random generator; data-related
features:
@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 idris
(package
(name "idris")
--
2.1.0
>From 03495ccfd6d798b116a74e383ae8218a5a35d3ca Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:36:24 +0100
Subject: [PATCH 22/30] gnu: Add ghc-x509.
* gnu/packages/haskell.scm (ghc-x509): New variable.
---
gnu/packages/haskell.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d87535d..c93ffe6 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5931,6 +5931,36 @@ 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 idris
(package
(name "idris")
--
2.1.0
>From 393dc1b3f0806784115455a90e106eb47c47cc5d Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:36:46 +0100
Subject: [PATCH 23/30] gnu: Add ghc-x509-store.
* gnu/packages/haskell.scm (ghc-x509-store): New variable.
---
gnu/packages/haskell.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index c93ffe6..d9a5de4 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5961,6 +5961,33 @@ set, memory copy, ..) and more")
"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 idris
(package
(name "idris")
--
2.1.0
>From 4ab3752b8e1f39c7b2c0e5d4d17cbf1eb0caafd8 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:37:11 +0100
Subject: [PATCH 24/30] gnu: Add ghc-x509-validation.
* gnu/packages/haskell.scm (ghc-x509-validation): New variable.
---
gnu/packages/haskell.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d9a5de4..3145ff1 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5988,6 +5988,38 @@ set, memory copy, ..) and more")
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 idris
(package
(name "idris")
--
2.1.0
>From 7d5d81629eac189fbe3567a4ad4f5be0b83e4275 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:37:44 +0100
Subject: [PATCH 25/30] gnu: Add ghc-x509-system.
* gnu/packages/haskell.scm (ghc-x509-system): New variable.
---
gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 3145ff1..af26993 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6020,6 +6020,31 @@ collections, certificates, revocation lists, and
exception lists.")
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 idris
(package
(name "idris")
--
2.1.0
>From 1c587da7c40e6b6a871552c0c4fc37249f88bdca Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
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
>From 6b83561651b9423cb3ee9be94419fd1663a1ef08 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:38:24 +0100
Subject: [PATCH 27/30] gnu: Add ghc-socks.
* gnu/packages/haskell.scm (ghc-socks): New variable.
---
gnu/packages/haskell.scm | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d52020c..256c131 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6082,6 +6082,27 @@ for X.509 certificates.")
"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 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 idris
(package
(name "idris")
--
2.1.0
>From 48431851b978c5c9fdb1a7808043cefaf1de0867 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:38:47 +0100
Subject: [PATCH 28/30] gnu: Add ghc-connection.
* gnu/packages/haskell.scm (ghc-connection): New variable.
---
gnu/packages/haskell.scm | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 256c131..0962dc3 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6103,6 +6103,37 @@ for X.509 certificates.")
"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 idris
(package
(name "idris")
--
2.1.0
>From a2080f3b0f45a4c18cc3b6ffade280ff9893e65f Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:39:06 +0100
Subject: [PATCH 29/30] gnu: Add ghc-http-client-tls.
* gnu/packages/haskell.scm (ghc-http-client-tls): New variable.
---
gnu/packages/haskell.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 0962dc3..aa1d3b2 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6134,6 +6134,38 @@ 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")
--
2.1.0
>From 8a35c893a0adeaabcf10157f0d0eaf36d98b2fbf Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <address@hidden>
Date: Fri, 27 Nov 2015 13:39:31 +0100
Subject: [PATCH 30/30] gnu: Add ghc-pandoc.
* gnu/packages/haskell.scm (ghc-pandoc): New variable.
---
gnu/packages/haskell.scm | 85 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 85 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index aa1d3b2..83923ba 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6166,6 +6166,91 @@ connection and TLS libraries. It is intended for use by
higher-level
libraries, such as http-conduit.")
(license expat)))
+(define-public ghc-pandoc
+ (package
+ (name "ghc-pandoc")
+ (version "1.15.2.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/pandoc/pandoc-";
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0nfzwsdvrvg9zypgyqk0246p10yzlpqsqnkds8yraqybbvkb1g30"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-syb" ,ghc-syb)
+ ("ghc-unordered-containers" ,ghc-unordered-containers)
+ ("ghc-parsec" ,ghc-parsec)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-text" ,ghc-text)
+ ("ghc-zip-archive" ,ghc-zip-archive)
+ ("ghc-http" ,ghc-http)
+ ("ghc-texmath" ,ghc-texmath)
+ ("ghc-xml" ,ghc-xml)
+ ("ghc-random" ,ghc-random)
+ ("ghc-extensible-exceptions" ,ghc-extensible-exceptions)
+ ("ghc-pandoc-types" ,ghc-pandoc-types)
+ ("ghc-aeson" ,ghc-aeson)
+ ("ghc-tagsoup" ,ghc-tagsoup)
+ ("ghc-base64-bytestring" ,ghc-base64-bytestring)
+ ("ghc-zlib" ,ghc-zlib)
+ ("ghc-highlighting-kate" ,ghc-highlighting-kate)
+ ("ghc-data-default" ,ghc-data-default)
+ ("ghc-temporary" ,ghc-temporary)
+ ("ghc-blaze-html" ,ghc-blaze-html)
+ ("ghc-blaze-markup" ,ghc-blaze-markup)
+ ("ghc-yaml" ,ghc-yaml)
+ ("ghc-scientific" ,ghc-scientific)
+ ("ghc-vector" ,ghc-vector)
+ ("ghc-hslua" ,ghc-hslua)
+ ("ghc-sha" ,ghc-sha)
+ ("ghc-haddock-library" ,ghc-haddock-library)
+ ("ghc-old-time" ,ghc-old-time)
+ ("ghc-deepseq-generics" ,ghc-deepseq-generics)
+ ("ghc-juicypixels" ,ghc-juicypixels)
+ ("ghc-filemanip" ,ghc-filemanip)
+ ("ghc-cmark" ,ghc-cmark)
+ ("ghc-network-uri" ,ghc-network-uri)
+ ("ghc-network" ,ghc-network)
+ ("ghc-http-client" ,ghc-http-client)
+ ("ghc-http-client-tls" ,ghc-http-client-tls)
+ ("ghc-http-types" ,ghc-http-types)
+ ("ghc-diff" ,ghc-diff)
+ ("ghc-ansi-terminal" ,ghc-ansi-terminal)
+ ("ghc-executable-path" ,ghc-executable-path)))
+ (native-inputs
+ `(("ghc-test-framework" ,ghc-test-framework)
+ ("ghc-test-framework-hunit" ,ghc-test-framework-hunit)
+ ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-hunit" ,ghc-hunit)))
+ (home-page "http://pandoc.org";)
+ (synopsis "Conversion between markup formats")
+ (description
+ "Pandoc is a Haskell library for converting from one markup format to
+another, and a command-line tool that uses this library. It can read markdown
+and (subsets of) HTML, reStructuredText, LaTeX, DocBook, MediaWiki markup,
+TWiki markup, Haddock markup, OPML, Emacs Org-Mode, txt2tags, Word Docx, ODT,
+and Textile, and it can write Markdown, reStructuredText, XHTML, HTML 5,
+LaTeX, ConTeXt, DocBook, OPML, OpenDocument, ODT, Word docx, RTF, MediaWiki,
+DokuWiki, Textile, groff man pages, plain text, Emacs Org-Mode, AsciiDoc,
+Haddock markup, EPUB (v2 and v3), FictionBook2, InDesign ICML, and several
+kinds of HTML/javascript slide shows (S5, Slidy, Slideous, DZSlides,
+reveal.js).
+
+Pandoc extends standard markdown syntax with footnotes, embedded LaTeX,
+definition lists, tables, and other features. A compatibility mode is
+provided for those who need a drop-in replacement for Markdown.pl. In
+contrast to existing tools for converting markdown to HTML, which use regex
+substitutions, pandoc has a modular design: it consists of a set of readers,
+which parse text in a given format and produce a native representation of the
+document, and a set of writers, which convert this native representation into
+a target format. Thus, adding an input or output format requires only adding
+a reader or writer.")
+ (license gpl2+)))
+
(define-public idris
(package
(name "idris")
--
2.1.0
- [PATCH] Add Pandoc (and whatever it needs),
Ricardo Wurmus <=