#!/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: smtLib
version: 1.0.9
id: smtLib-1.0.9-FInWrgSK7jG3aCe0WrK58G
key: smtLib-1.0.9-FInWrgSK7jG3aCe0WrK58G
license: BSD-3-Clause
maintainer: iavor.diatchki@gmail.com
author: Iavor S. Diatchki
synopsis: A library for working with the SMTLIB format.
description:
    A library for working with the SMTLIB format.
category: SMT
abi: 0978401dea64046ff3cc93928334099d
exposed: True
exposed-modules:
    SMTLib1 SMTLib1.QF_AUFBV SMTLib1.QF_BV SMTLib2 SMTLib2.Array
    SMTLib2.BitVector SMTLib2.Compat1 SMTLib2.Core SMTLib2.Int
hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP
import-dirs: /usr/lib/ghc-8.6.1/site-local/smtLib-1.0.9
library-dirs: /usr/lib/ghc-8.6.1/site-local/smtLib-1.0.9
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/arm-linux-ghc-8.6.1/smtLib-1.0.9
hs-libraries: HSsmtLib-1.0.9-FInWrgSK7jG3aCe0WrK58G
depends:
    base-4.12.0.0 pretty-1.1.3.6
haddock-interfaces: /usr/share/doc/haskell-smtlib/html/smtLib.haddock
haddock-html: /usr/share/doc/haskell-smtlib/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

