diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-11-27 13:33:29 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-12-10 14:34:51 +0100 |
| commit | ed8924c0d7df9c8bd8c718d5c84ea7e72b610231 (patch) | |
| tree | 29ed83d18d94accb990a4fef12daaf097272d9f1 /gnu | |
| parent | 45813e67e0bac985f351bbae8f279f7d4ae84aa0 (diff) | |
| download | patches-ed8924c0d7df9c8bd8c718d5c84ea7e72b610231.tar patches-ed8924c0d7df9c8bd8c718d5c84ea7e72b610231.tar.gz | |
gnu: Add ghc-pem.
* gnu/packages/haskell.scm (ghc-pem): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/haskell.scm | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index e6158b2d9f..b7baf3f4ed 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5743,6 +5743,34 @@ a type that has a @code{Time} instances, and thus are different representations of current time.") (license bsd-3))) +(define-public ghc-pem + (package + (name "ghc-pem") + (version "0.2.2") + (source (origin + (method url-fetch) + (uri (string-append "http://hackage.haskell.org/package/" + "pem/pem-" version ".tar.gz")) + (sha256 + (base32 + "162sk5sg22w21wqz5qv8kx6ibxp99v5p20g3nknhm1kddk3hha1p")))) + (build-system haskell-build-system) + (propagated-inputs + `(("ghc-mtl" ,ghc-mtl) + ("ghc-base64-bytestring" ,ghc-base64-bytestring))) + (native-inputs + `(("ghc-test-framework" ,ghc-test-framework) + ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2) + ("ghc-test-framework-hunit" ,ghc-test-framework-hunit) + ("ghc-hunit" ,ghc-hunit) + ("ghc-quickcheck" ,ghc-quickcheck))) + (home-page "http://github.com/vincenthz/hs-pem") + (synopsis "Privacy Enhanced Mail (PEM) format reader and writer") + (description + "This library provides readers and writers for the @dfn{Privacy Enhanced +Mail} (PEM) format.") + (license bsd-3))) + (define-public idris (package (name "idris") |