#!/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-theory
version: 1.4.0
id: tamarin-prover-theory-1.4.0-DKG0IiMqU1NE0sA4zA3eLB
key: tamarin-prover-theory-1.4.0-DKG0IiMqU1NE0sA4zA3eLB
license: LicenseRef-GPL
copyright: Benedikt Schmidt, Simon Meier, Jannik Dreier, Ralf Sasse, ETH Zurich, 2010-2018
maintainer: Simon Meier <simon.meier@inf.ethz.ch>,
            Jannik Dreier <research@jannikdreier.net>,
            Ralf Sasse <ralf.sasse@gmail.com>
author: Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>,
        Simon Meier <simon.meier@inf.ethz.ch>,
        Jannik Dreier <research@jannikdreier.net>,
        Ralf Sasse <ralf.sasse@gmail.com>
homepage: https://tamarin-prover.github.io/
synopsis: Security protocol types and constraint solver 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>).
    .
    This library provides the types to represent security
    protocol, and it implements the constraint solver.
category: Theorem Provers
abi: a2334964aadc5ab2f1f07b2973e01b9f
exposed: True
exposed-modules:
    Theory Theory.Constraint.Solver
    Theory.Constraint.Solver.Contradictions
    Theory.Constraint.Solver.Goals Theory.Constraint.Solver.ProofMethod
    Theory.Constraint.Solver.Reduction
    Theory.Constraint.Solver.Simplify Theory.Constraint.Solver.Sources
    Theory.Constraint.Solver.Types Theory.Constraint.System
    Theory.Constraint.System.Constraints Theory.Constraint.System.Dot
    Theory.Constraint.System.Guarded Theory.Constraint.System.JSON
    Theory.Model Theory.Model.Atom Theory.Model.Fact
    Theory.Model.Formula Theory.Model.Rule Theory.Model.Signature
    Theory.Proof Theory.Text.Parser Theory.Text.Parser.Token
    Theory.Text.Pretty Theory.Tools.AbstractInterpretation
    Theory.Tools.EquationStore Theory.Tools.InjectiveFactInstances
    Theory.Tools.IntruderRules Theory.Tools.LoopBreakers
    Theory.Tools.RuleVariants Theory.Tools.Wellformedness
import-dirs: /usr/lib/ghc-8.4.3/site-local/tamarin-prover-theory-1.4.0
library-dirs: /usr/lib/ghc-8.4.3/site-local/tamarin-prover-theory-1.4.0
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/x86_64-linux-ghc-8.4.3/tamarin-prover-theory-1.4.0
hs-libraries: HStamarin-prover-theory-1.4.0-DKG0IiMqU1NE0sA4zA3eLB
depends:
    aeson-1.4.1.0-DC05NYridW9CuV0L6TLprZ
    aeson-pretty-0.8.7-zT2mkjzUHrG7OySmMGer2 base-4.11.1.0
    binary-0.8.5.1 bytestring-0.10.8.2 containers-0.5.11.0
    deepseq-1.4.3.0 dlist-0.8.0.5-6LWFCfMSEKNIqqazR8mrr6
    fclabels-2.0.3.3-BHaTfJPZDECEU3fkfof1B1 mtl-2.2.2
    parallel-3.2.2.0-E8M4t2NF24XDDNAVbYCukS parsec-3.1.13.0
    process-1.6.3.0 safe-0.3.17-HEmZRpXGD3s2ywM3rHJ1ur text-1.2.3.0
    transformers-0.5.5.0 uniplate-1.6.12-FNxz8je2103BhqZu9qz4sy
    tamarin-prover-utils-1.4.0-KOIDZwQj1LN9Jsz965IzQs
    tamarin-prover-term-1.4.0-7D21tntHQC9It72kY5W3v8
abi-depends: aeson-1.4.1.0-DC05NYridW9CuV0L6TLprZ=2dabf93ee02d5485cbe316a08ea94024
             aeson-pretty-0.8.7-zT2mkjzUHrG7OySmMGer2=8a355550faf0c11b66ca9c1d4455ad38
             base-4.11.1.0=9da3f387598d41928f3ebf8097acf9b3
             binary-0.8.5.1=758db3c95031800de821949083b71c7f
             bytestring-0.10.8.2=76943c00398d547fb172e56c2f93c635
             containers-0.5.11.0=7795138514357bd2e41eaf59b6cfce4f
             deepseq-1.4.3.0=00d8faa7363cb0be9acd709ef6549e22
             dlist-0.8.0.5-6LWFCfMSEKNIqqazR8mrr6=a89500558697401c3bf5eb58146baa5c
             fclabels-2.0.3.3-BHaTfJPZDECEU3fkfof1B1=4faa6f3287760cde1465080144c62c18
             mtl-2.2.2=3cf3b316ad8e985e039ee3b498a98253
             parallel-3.2.2.0-E8M4t2NF24XDDNAVbYCukS=8817dbddef9879e3e8c45cfc95d59bc0
             parsec-3.1.13.0=a963888603f65e0a8f63f07fffd516d6
             process-1.6.3.0=abb0cfe39ff8617a198f540a7db854a9
             safe-0.3.17-HEmZRpXGD3s2ywM3rHJ1ur=f24d7708a3245ecd805ff7d598d8872c
             text-1.2.3.0=be4c3e1c57cff1d501eb0e876706a48d
             transformers-0.5.5.0=633c3e5ec737c360775b452ce9aa1e0b
             uniplate-1.6.12-FNxz8je2103BhqZu9qz4sy=243ff09ba29a38046a95630b9f71dbdb
             tamarin-prover-utils-1.4.0-KOIDZwQj1LN9Jsz965IzQs=3543f24980cba293c7afe8ca3d7859c7
             tamarin-prover-term-1.4.0-7D21tntHQC9It72kY5W3v8=93abc74f9c3f692767f030028dd98b25
haddock-interfaces: /usr/share/doc/haskell-tamarin-prover-theory/html/tamarin-prover-theory.haddock
haddock-html: /usr/share/doc/haskell-tamarin-prover-theory/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

