#!/bin/sh
export PATH='/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
printf '%s' 'name:                 djinn-lib
version:              0.0.1.4
visibility:           public
id:                   djinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg
key:                  djinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg
license:              BSD-3-Clause
maintainer:           trupill@gmail.com
author:               Lennart Augustsson
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
abi:                  a0133e9531e137be7c492ca88c2f59e1
exposed:              True
exposed-modules:      Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula
import-dirs:          /usr/lib/ghc-9.6.6/site-local/djinn-lib-0.0.1.4
library-dirs:         /usr/lib/ghc-9.6.6/site-local/djinn-lib-0.0.1.4
library-dirs-static:  /usr/lib/ghc-9.6.6/site-local/djinn-lib-0.0.1.4
dynamic-library-dirs: /usr/lib
data-dir:             /usr/share/haskell-djinn-lib
hs-libraries:         HSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg
depends:
    base-4.18.2.1 containers-0.6.7 mtl-2.3.1 pretty-1.1.3.6

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-9.6.6' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

