From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58224) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoJT0-0008Ot-HI for guix-patches@gnu.org; Tue, 20 Feb 2018 20:45:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoJSx-0000fG-Cd for guix-patches@gnu.org; Tue, 20 Feb 2018 20:45:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:45556) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eoJSx-0000f3-9D for guix-patches@gnu.org; Tue, 20 Feb 2018 20:45:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eoJSx-0004Vg-2G for guix-patches@gnu.org; Tue, 20 Feb 2018 20:45:03 -0500 Subject: [bug#30563] Status: [PATCH] add Agda. References: <87bmgj9lvp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Resent-Message-ID: From: Alex ter Weele Date: Tue, 20 Feb 2018 19:44:26 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <878tbn86bp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0003-gnu-Add-ghc-uri-encode.patch List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: bug#30563 <30563@debbugs.gnu.org> >From 33a25f9a810b791099b89811a65590c62d6167be Mon Sep 17 00:00:00 2001 From: Alex ter Weele 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