From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: [PATCH] Add Pandoc (and whatever it needs) Date: Fri, 27 Nov 2015 13:50:13 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:57870) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2ITx-0003AL-Fw for guix-devel@gnu.org; Fri, 27 Nov 2015 07:50:39 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a2ITr-000152-CV for guix-devel@gnu.org; Fri, 27 Nov 2015 07:50:33 -0500 Received: from sinope.bbbm.mdc-berlin.de ([141.80.25.23]:45294) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a2ITq-00014v-Ec for guix-devel@gnu.org; Fri, 27 Nov 2015 07:50:27 -0500 Received: from localhost (localhost [127.0.0.1]) by sinope.bbbm.mdc-berlin.de (Postfix) with ESMTP id D1197280883 for ; Fri, 27 Nov 2015 13:50:24 +0100 (CET) Received: from sinope.bbbm.mdc-berlin.de ([127.0.0.1]) by localhost (sinope.bbbm.mdc-berlin.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id dHppY7NyAl67 for ; Fri, 27 Nov 2015 13:50:14 +0100 (CET) Received: from HTCAONE.mdc-berlin.net (mab.citx.mdc-berlin.de [141.80.36.102]) by sinope.bbbm.mdc-berlin.de (Postfix) with ESMTP for ; Fri, 27 Nov 2015 13:50:13 +0100 (CET) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel --=-=-= Content-Type: text/plain 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0001-gnu-Add-ghc-hspec-contrib.patch" >From 053a99f042c8061633b8138ce6afe5db655d1430 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0002-gnu-Add-ghc-conduit.patch" >From afeba9eeb7da7037cac42442bf197d964f43a0a1 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0003-gnu-Add-ghc-logging-facade.patch" >From ad9c02e07111554b68db7684b23038bb1b096d6b Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0004-gnu-Add-ghc-mockery.patch" >From 4a8182a1bbfccb97e40dab1184ec5c786b3ad021 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0005-gnu-Add-ghc-yaml.patch" >From adc4d94784dea482894077f09be02cf570b5b73b Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0006-gnu-Add-ghc-filemanip.patch" >From f258600c88dc463233713371704706d77fa7e87b Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0007-gnu-Add-ghc-mmap.patch" >From 47d26cff905af41f97b10f79f3239c9294425f53 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0008-gnu-Add-ghc-juicypixels.patch" >From 1b533cd6609f0a3a3cfd188390519cbbbc66ae70 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0009-gnu-Add-ghc-sha.patch" >From bff255a102f03a216e9dcb011ed899ed6d0ae59f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0010-gnu-Add-ghc-hslua.patch" >From 4ce3dc8efbf9d846259bf2f5c57bf97869c06229 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0011-gnu-Add-ghc-mime-types.patch" >From a1a539c3cb2af0167409ea1a974e085103a07470 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0012-gnu-Add-ghc-http-client.patch" >From f61ef2841294191a6666204f7ae57aa6f9224172 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0013-gnu-Add-ghc-byteable.patch" >From bfc243782350f3a96c4dac07abbb71ce8604eb1a Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0014-gnu-Add-ghc-hourglass.patch" >From 2f2d666531e7d6b5c3d496a8e77be8efc4dceae9 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 +@code{Time} 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0015-gnu-Add-ghc-pem.patch" >From 625d51772e0adc17d473af47cdabfa0f8010e54e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0016-gnu-Add-ghc-asn1-types.patch" >From 31cc7f6dc24ef6fda882f90ff831d5a4f6a9eb70 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0017-gnu-Add-ghc-asn1-encoding.patch" >From e4ebceb4406c3a1f73eb9424a0334869c92ae685 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0018-gnu-Add-ghc-asn1-parse.patch" >From 9cbfe0f153e4a2631a5c639c019e2f75c528bebc Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0019-gnu-Add-ghc-tasty-kat.patch" >From 8239c2d06d670ddfb6ecff2a7c7bbd3b2fef6b88 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0020-gnu-Add-ghc-cryptonite.patch" >From bab3c65317ae9061d875a016b81dabc38f78bc5c Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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: +@dfn{anti-forensic information splitter} (AFIS).") + (license bsd-3))) + (define-public idris (package (name "idris") -- 2.1.0 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0021-gnu-Add-ghc-memory.patch" >From 4833e8ec73a57a917bec8b6925f7134e41f57969 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0022-gnu-Add-ghc-x509.patch" >From 03495ccfd6d798b116a74e383ae8218a5a35d3ca Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0023-gnu-Add-ghc-x509-store.patch" >From 393dc1b3f0806784115455a90e106eb47c47cc5d Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0024-gnu-Add-ghc-x509-validation.patch" >From 4ab3752b8e1f39c7b2c0e5d4d17cbf1eb0caafd8 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0025-gnu-Add-ghc-x509-system.patch" >From 7d5d81629eac189fbe3567a4ad4f5be0b83e4275 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0026-gnu-Add-ghc-tls.patch" >From 1c587da7c40e6b6a871552c0c4fc37249f88bdca Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 .") + (license bsd-3))) + (define-public idris (package (name "idris") -- 2.1.0 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0027-gnu-Add-ghc-socks.patch" >From 6b83561651b9423cb3ee9be94419fd1663a1ef08 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 .") (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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0028-gnu-Add-ghc-connection.patch" >From 48431851b978c5c9fdb1a7808043cefaf1de0867 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0029-gnu-Add-ghc-http-client-tls.patch" >From a2080f3b0f45a4c18cc3b6ffade280ff9893e65f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-= Content-Type: text/x-patch Content-Disposition: inline; filename="0030-gnu-Add-ghc-pandoc.patch" >From 8a35c893a0adeaabcf10157f0d0eaf36d98b2fbf Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus 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 --=-=-=--