#!/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/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: tamarin-prover-utils
version: 1.2.3
id: tamarin-prover-utils-1.2.3-JemXB34w5p6IevUL5beuwu
key: tamarin-prover-utils-1.2.3-JemXB34w5p6IevUL5beuwu
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
indefinite: False
exposed-modules:
    Control.Basics Control.Monad.Bind Control.Monad.Disj
    Control.Monad.Fresh Control.Monad.Trans.FastFresh
    Control.Monad.Trans.PreciseFresh Data.Color Data.DAG.Simple
    Debug.Trace.Ignore Extension.Data.Bounded Extension.Data.ByteString
    Extension.Data.Label Extension.Data.Monoid Extension.Prelude
    Logic.Connectives System.Timing Text.Dot Text.PrettyPrint.Class
    Text.PrettyPrint.Highlight Text.PrettyPrint.Html Text.Unicode
    Utils.Misc
hidden-modules: Control.Monad.Fresh.Class Control.Monad.Trans.Disj
                Control.Monad.Disj.Class
abi: 3689f59d52b28267b004b8cec36daeba
trusted: False
import-dirs: /usr/lib/ghc-8.2.2/site-local/tamarin-prover-utils-1.2.3
library-dirs: /usr/lib/ghc-8.2.2/site-local/tamarin-prover-utils-1.2.3
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/x86_64-linux-ghc-8.2.2/tamarin-prover-utils-1.2.3
hs-libraries: HStamarin-prover-utils-1.2.3-JemXB34w5p6IevUL5beuwu
depends:
    SHA-1.6.4.4-1zvOUgVKaQx7KvqAhOzZXy base-4.10.1.0
    base64-bytestring-1.0.0.1-8MlzMz2YH3lCqJ4GOwL1Be binary-0.8.5.1
    blaze-builder-0.4.1.0-76A6rNBvwvR8MTgrMARis4 bytestring-0.10.8.2
    containers-0.5.10.2 deepseq-1.4.3.0
    dlist-0.8.0.4-8Td44GecKNEJmy7QK3HIQc
    fclabels-2.0.3.3-4WNPtbHFlNRFH87gHrbcA6
    mtl-2.2.2-8XubxMJDT8QLsstvlNotkc pretty-1.1.3.3
    safe-0.3.15-EroU33EYnr02fGSZYGiX97 syb-0.7-3Lq8MQxmYP07qktjI1jxu0
    time-1.8.0.2 transformers-0.5.2.0
abi-depends: SHA-1.6.4.4-1zvOUgVKaQx7KvqAhOzZXy=234670dfcf5a5935d11e5c3ae2cc03c0
             base-4.10.1.0=35a7f6be752ee4f7385cb5bf28677879
             base64-bytestring-1.0.0.1-8MlzMz2YH3lCqJ4GOwL1Be=fce7541e6cf9cbf2867cdcb0a2552fb8
             binary-0.8.5.1=efb65bc450356b9ea572733928ffb43f
             blaze-builder-0.4.1.0-76A6rNBvwvR8MTgrMARis4=df56dd2a069eaa62b68a7725fcf6fae4
             bytestring-0.10.8.2=4a9e2cf748f0e2cc5be33be7a5505ecf
             containers-0.5.10.2=cc49645af4ed58d1819a7e09ee1f7920
             deepseq-1.4.3.0=38379f7f81eed7fe046dd2a98559af2e
             dlist-0.8.0.4-8Td44GecKNEJmy7QK3HIQc=b98e175ed6b9bea3c0e69ce59165f686
             fclabels-2.0.3.3-4WNPtbHFlNRFH87gHrbcA6=b73bc1d33d0b01c5b8301966a7701335
             mtl-2.2.2-8XubxMJDT8QLsstvlNotkc=ada793ec1f149425d0c0689d53e1173b
             pretty-1.1.3.3=da5c0455980712cd8d78cc4bdcee49dd
             safe-0.3.15-EroU33EYnr02fGSZYGiX97=c20d058560be9a4b5e941a33ed437bf5
             syb-0.7-3Lq8MQxmYP07qktjI1jxu0=06df45b1c27c5cef935930b2f87d2689
             time-1.8.0.2=7cc0324e0aef789d5f0780f6640c241b
             transformers-0.5.2.0=e04579c0363c9229351d1a0b394bf2d5
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' "$@"

