#!/bin/sh
export PATH='/usr/lib/distcc/bin:/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
echo 'name: simple-smt
version: 0.8
id: simple-smt-0.8-D1uPyzbStMD1MiR1GWH1rk
key: simple-smt-0.8-D1uPyzbStMD1MiR1GWH1rk
license: BSD-3-Clause
maintainer: iavor.diatchki@gmail.com
author: Iavor S. Diatchki
synopsis: A simple way to interact with an SMT solver process.
description:
    A simple way to interact with an SMT solver process.
category: Math
abi: 07a592e4a0871841dc0be629ebab6fbc
exposed: True
exposed-modules:
    SimpleSMT
import-dirs: /usr/lib/ghc-8.4.3/site-local/simple-smt-0.8
library-dirs: /usr/lib/ghc-8.4.3/site-local/simple-smt-0.8
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/arm-linux-ghc-8.4.3/simple-smt-0.8
hs-libraries: HSsimple-smt-0.8-D1uPyzbStMD1MiR1GWH1rk
depends:
    base-4.11.1.0 process-1.6.3.0
abi-depends: base-4.11.1.0=a3fb1645bafaa89172454c2eea8dfdc9
             process-1.6.3.0=b58285e21ceee9f67d7be28ddb8b2627
haddock-interfaces: /usr/share/doc/haskell-simple-smt/html/simple-smt.haddock
haddock-html: /usr/share/doc/haskell-simple-smt/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

