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