[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#30563] Status: [PATCH] add Agda.
From: |
Alex ter Weele |
Subject: |
[bug#30563] Status: [PATCH] add Agda. |
Date: |
Tue, 20 Feb 2018 19:44:26 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
>From 33a25f9a810b791099b89811a65590c62d6167be Mon Sep 17 00:00:00 2001
From: Alex ter Weele <address@hidden>
Date: Tue, 20 Feb 2018 18:53:26 -0600
Subject: [PATCH 3/4] gnu: Add ghc-uri-encode.
* gnu/packages/haskell-web.scm (ghc-uri-encode): New variable.
---
gnu/packages/haskell-web.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/haskell-web.scm b/gnu/packages/haskell-web.scm
index a24ee4b7c..aec69deb1 100644
--- a/gnu/packages/haskell-web.scm
+++ b/gnu/packages/haskell-web.scm
@@ -866,3 +866,28 @@ of a JSON value into a @code{Data.Aeson.Value}.")
(description
"HTTP multipart split out of the cgi package, for Haskell.")
(license license:bsd-3)))
+
+(define-public ghc-uri-encode
+ (package
+ (name "ghc-uri-encode")
+ (version "1.5.0.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://hackage.haskell.org/package/uri-encode/uri-encode-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32
+ "11miwb5vvnn17m92ykz1pzg9x6s8fbpz3mmsyqs2s4b3mn55haz8"))))
+ (build-system haskell-build-system)
+ (inputs
+ `(("ghc-text" ,ghc-text)
+ ("ghc-utf8-string" ,ghc-utf8-string)
+ ("ghc-network-uri" ,ghc-network-uri)))
+ (home-page
+ "http://hackage.haskell.org/package/uri-encode")
+ (synopsis "Unicode aware uri-encoding")
+ (description "Unicode aware uri-encoding.")
+ (license license:bsd-3)))
--
2.16.1