From d4ce416a5cad2d0c63fe1e8209691f3830cc8462 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Fri, 27 Nov 2015 13:33:47 +0100 Subject: gnu: Add ghc-asn1-types. * gnu/packages/haskell.scm (ghc-asn1-types): New variable. --- gnu/packages/haskell.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'gnu/packages/haskell.scm') diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index b7baf3f4ed..327e232882 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5771,6 +5771,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 package provides the standard types for dealing with the ASN.1 +format.") + (license bsd-3))) + (define-public idris (package (name "idris") -- cgit v1.2.3