#!/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: tamarin-prover-theory
version: 1.4.0
id: tamarin-prover-theory-1.4.0-AD6LIPg43wNJwHO5a3lZDh
key: tamarin-prover-theory-1.4.0-AD6LIPg43wNJwHO5a3lZDh
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: 30a0ace6e138f1277322c5ca252b6439
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/arm-linux-ghc-8.4.3/tamarin-prover-theory-1.4.0
hs-libraries: HStamarin-prover-theory-1.4.0-AD6LIPg43wNJwHO5a3lZDh
depends:
    aeson-1.3.1.1-ArWpZy1DbZ6Lxt3YgJqPBO
    aeson-pretty-0.8.7-EDoz570Kdle1sORLB3l32T 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.4-CrGJIvQnsM82JxkEwejrYD
    fclabels-2.0.3.3-BHaTfJPZDECEU3fkfof1B1 mtl-2.2.2
    parallel-3.2.1.1-7VRdiJcVWj8BvjtM2xssyE 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-JvWYUgm31hDD4CbULPBW8K
    tamarin-prover-utils-1.4.0-97YC04SUVLG5IGhfYLbjy8
    tamarin-prover-term-1.4.0-6abtlnFzPTgFaf6xCRoJsC
abi-depends: aeson-1.3.1.1-ArWpZy1DbZ6Lxt3YgJqPBO=63ce14baf2a7c28abbc692d9e7dd92cc
             aeson-pretty-0.8.7-EDoz570Kdle1sORLB3l32T=4ef7d9725d6c6d289881ccfa8479d9e3
             base-4.11.1.0=a3fb1645bafaa89172454c2eea8dfdc9
             binary-0.8.5.1=0c28e4e382bf1405fd468e0d2a2b58e5
             bytestring-0.10.8.2=9faa89cf4769cbd12751f8644ca9e618
             containers-0.5.11.0=94bb4831ae701bd40855b2dc2d65cf7c
             deepseq-1.4.3.0=34da2d42d10eacba0aad99c95b538637
             dlist-0.8.0.4-CrGJIvQnsM82JxkEwejrYD=f79b3ead594e04b4f22b6b2afc0a8656
             fclabels-2.0.3.3-BHaTfJPZDECEU3fkfof1B1=5a2c9099dd962914d18daf9666ad6fa2
             mtl-2.2.2=0b3b35c3b96c7607606ed10087c4aa4a
             parallel-3.2.1.1-7VRdiJcVWj8BvjtM2xssyE=71fbc58d940f1d79d8c382c7209c2ee9
             parsec-3.1.13.0=3626e7cedd22de76a8b10339d955721a
             process-1.6.3.0=b58285e21ceee9f67d7be28ddb8b2627
             safe-0.3.17-HEmZRpXGD3s2ywM3rHJ1ur=42026212d0dad8beaed25fde58365be8
             text-1.2.3.0=9752fd647a108be49a4cb0c2a4456f2b
             transformers-0.5.5.0=4f41484af13f560f1d83ed79e1be4572
             uniplate-1.6.12-JvWYUgm31hDD4CbULPBW8K=1aab77f3cb6b8e26f474ae997f8b565e
             tamarin-prover-utils-1.4.0-97YC04SUVLG5IGhfYLbjy8=10d894ec1bb46e18a6d2883d458618fe
             tamarin-prover-term-1.4.0-6abtlnFzPTgFaf6xCRoJsC=f5b6b2e30f05121b572726f268aa68de
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' "$@"

