#!/bin/sh
export PATH='/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
echo 'name: djinn-lib
version: 0.0.1.2
id: djinn-lib-0.0.1.2-IovvNyC2yOw59nkdvtZnY8
key: djinn-lib-0.0.1.2-IovvNyC2yOw59nkdvtZnY8
license: BSD3
maintainer: trupill@gmail.com
homepage: http://www.augustsson.net/Darcs/Djinn/
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
description:
    Djinn uses an theorem prover for intuitionistic propositional logic
    to generate a Haskell expression when given a type.
    This is a library extracted from Djinn sources.
category: Language
author: Lennart Augustsson
exposed: True
indefinite: False
exposed-modules:
    Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula
abi: 871cd8b2e4431ffa3c7bef952deda4e9
trusted: False
import-dirs: /usr/lib/ghc-8.2.1/site-local/djinn-lib-0.0.1.2
library-dirs: /usr/lib/ghc-8.2.1/site-local/djinn-lib-0.0.1.2
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/i386-linux-ghc-8.2.1/djinn-lib-0.0.1.2
hs-libraries: HSdjinn-lib-0.0.1.2-IovvNyC2yOw59nkdvtZnY8
depends:
    base-4.10.0.0 containers-0.5.10.2 mtl-2.2.1-19EL8AGBsN3DnnOhrC9xY3
    pretty-1.1.3.3
abi-depends: base-4.10.0.0=a43b4ec12ad02cbfcdfe91f0942afb0a
             containers-0.5.10.2=e51b78cedb073051e10b1c1314421145
             mtl-2.2.1-19EL8AGBsN3DnnOhrC9xY3=14e57a3b735adfe06c357bcc64de3dbd
             pretty-1.1.3.3=315e275f7256c4b9cea549968b2fd167
haddock-interfaces: /usr/share/doc/haskell-djinn-lib/html/djinn-lib.haddock
haddock-html: /usr/share/doc/haskell-djinn-lib/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

