~ruther/guix-local

d4ce416a5cad2d0c63fe1e8209691f3830cc8462 — Ricardo Wurmus 10 years ago ed8924c
gnu: Add ghc-asn1-types.

* gnu/packages/haskell.scm (ghc-asn1-types): New variable.
1 files changed, 23 insertions(+), 0 deletions(-)

M gnu/packages/haskell.scm
M gnu/packages/haskell.scm => gnu/packages/haskell.scm +23 -0
@@ 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")