#!/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: tamarin-prover-utils
version: 1.2.2
id: tamarin-prover-utils-1.2.2-DJZpg9PLIgz1PvIcXekJ5D
key: tamarin-prover-utils-1.2.2-DJZpg9PLIgz1PvIcXekJ5D
license: GPL
copyright: Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
maintainer: Simon Meier <simon.meier@inf.ethz.ch>
homepage: http://www.infsec.ethz.ch/research/software/tamarin
synopsis: Utility library for the tamarin prover.
description:
    This is an internal library of the Tamarin prover for
    security protocol verification
    (<hackage.haskell.org/package/tamarin-prover>).
category: Theorem Provers
author: Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>,
        Simon Meier <simon.meier@inf.ethz.ch>
exposed: True
exposed-modules:
    Control.Basics Control.Monad.Fresh Control.Monad.Trans.PreciseFresh
    Control.Monad.Trans.FastFresh Control.Monad.Bind Control.Monad.Disj
    Data.Color Data.DAG.Simple Extension.Prelude Extension.Data.Label
    Extension.Data.Monoid Extension.Data.Bounded
    Extension.Data.ByteString Text.Dot Text.Unicode
    Text.PrettyPrint.Class Text.PrettyPrint.Highlight
    Text.PrettyPrint.Html Logic.Connectives System.Timing
    Debug.Trace.Ignore Utils.Misc
hidden-modules: Control.Monad.Fresh.Class Control.Monad.Trans.Disj
                Control.Monad.Disj.Class
abi: 72c4b0a52150558000a155867f43aa35
trusted: False
import-dirs: /usr/lib/ghc-8.0.2/site-local/tamarin-prover-utils-1.2.2
library-dirs: /usr/lib/ghc-8.0.2/site-local/tamarin-prover-utils-1.2.2
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/x86_64-linux-ghc-8.0.2/tamarin-prover-utils-1.2.2
hs-libraries: HStamarin-prover-utils-1.2.2-DJZpg9PLIgz1PvIcXekJ5D
depends:
    SHA-1.6.4.2-6ZuKopcglGG4yoCGsd9koJ base-4.9.1.0
    base64-bytestring-1.0.0.1-4O9TExPPz6eI82Yj7L4SIj binary-0.8.3.0
    blaze-builder-0.4.0.2-EbETJDFSQ4b6W7B283dutO bytestring-0.10.8.1
    containers-0.5.7.1 deepseq-1.4.2.0
    dlist-0.8.0.3-BHFBNaw8k6n9WiaUNzoXpk
    fclabels-2.0.3.2-4EezQlp7n1w9uoh5Y3yxAt
    mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 pretty-1.1.3.3
    syb-0.7-4OKdCpwGutyB1rNRmoa0ya time-1.6.0.1 transformers-0.5.2.0
haddock-interfaces: /usr/share/doc/haskell-tamarin-prover-utils/html/tamarin-prover-utils.haddock
haddock-html: /usr/share/doc/haskell-tamarin-prover-utils/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"
