#!/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: cryptol
version: 2.5.0
id: cryptol-2.5.0-BgfYxFZQHeI6F12s2eF9gR
key: cryptol-2.5.0-BgfYxFZQHeI6F12s2eF9gR
license: BSD3
copyright: 2013-2017 Galois Inc.
maintainer: cryptol@galois.com
homepage: http://www.cryptol.net/
synopsis: Cryptol: The Language of Cryptography
description:
    Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
category: Language
author: Galois, Inc.
exposed: True
indefinite: False
exposed-modules:
    Cryptol.Eval Cryptol.Eval.Arch Cryptol.Eval.Env Cryptol.Eval.Monad
    Cryptol.Eval.Reference Cryptol.Eval.Type Cryptol.Eval.Value
    Cryptol.ModuleSystem Cryptol.ModuleSystem.Base
    Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface
    Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.Name
    Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer
    Cryptol.Parser Cryptol.Parser.AST Cryptol.Parser.Lexer
    Cryptol.Parser.Name Cryptol.Parser.Names Cryptol.Parser.NoInclude
    Cryptol.Parser.NoPat Cryptol.Parser.Position Cryptol.Parser.Unlit
    Cryptol.Parser.Utils Cryptol.Prims.Eval Cryptol.Prims.Syntax
    Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie
    Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value
    Cryptol.Testing.Concrete Cryptol.Testing.Random
    Cryptol.Transform.MonoValues Cryptol.Transform.Specialize
    Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Depends
    Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes
    Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Kind
    Cryptol.TypeCheck.Monad Cryptol.TypeCheck.PP
    Cryptol.TypeCheck.Sanity Cryptol.TypeCheck.SimpType
    Cryptol.TypeCheck.SimpleSolver Cryptol.TypeCheck.Solve
    Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.CrySAT
    Cryptol.TypeCheck.Solver.Improve Cryptol.TypeCheck.Solver.InfNat
    Cryptol.TypeCheck.Solver.Numeric
    Cryptol.TypeCheck.Solver.Numeric.AST
    Cryptol.TypeCheck.Solver.Numeric.Defined
    Cryptol.TypeCheck.Solver.Numeric.Fin
    Cryptol.TypeCheck.Solver.Numeric.ImportExport
    Cryptol.TypeCheck.Solver.Numeric.Interval
    Cryptol.TypeCheck.Solver.Numeric.NonLin
    Cryptol.TypeCheck.Solver.Numeric.SMT
    Cryptol.TypeCheck.Solver.Numeric.Simplify
    Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
    Cryptol.TypeCheck.Solver.SMT Cryptol.TypeCheck.Solver.Selector
    Cryptol.TypeCheck.Solver.Types Cryptol.TypeCheck.Solver.Utils
    Cryptol.TypeCheck.Subst Cryptol.TypeCheck.Type
    Cryptol.TypeCheck.TypeMap Cryptol.TypeCheck.TypeOf
    Cryptol.TypeCheck.TypePat Cryptol.TypeCheck.Unify
    Cryptol.Utils.Debug Cryptol.Utils.Ident Cryptol.Utils.Misc
    Cryptol.Utils.PP Cryptol.Utils.Panic Cryptol.Utils.Patterns
    Cryptol.Version
hidden-modules: Cryptol.Parser.LexerUtils
                Cryptol.Parser.ParserUtils Cryptol.Prelude Paths_cryptol GitRev
abi: 7d6a36d1cb3083bd065f176e1c5ec261
trusted: False
import-dirs: /usr/lib/ghc-8.2.1/site-local/cryptol-2.5.0
library-dirs: /usr/lib/ghc-8.2.1/site-local/cryptol-2.5.0
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/cryptol
hs-libraries: HScryptol-2.5.0-BgfYxFZQHeI6F12s2eF9gR
depends:
    base-4.10.0.0 base-compat-0.9.3-7gxrulAnYCf9OVK5Ok3lMW
    bytestring-0.10.8.2 array-0.5.2.0
    async-2.1.1.1-2NW8RVpRWiC9M88FM7mCHc containers-0.5.10.2
    deepseq-1.4.3.0 directory-1.3.0.2 filepath-1.4.1.2
    gitrev-1.3.1-Cgp0kQsBgtmnAoUzRW7fU
    GraphSCC-1.0.4-HLqyUJrTylO8FfYkusTvhD
    heredoc-0.2.0.0-4rbuntC2w7uF8duZNRyuy6
    monad-control-1.0.2.2-IzU5oITMXX63Y9dO6OJIj
    monadLib-3.7.3-I79ANJSiGFD9jThzlJcTB9
    old-time-1.1.0.3-JBqRS8v7R0IBEIYolASC7h
    presburger-1.3.1-LY3ZfoGVtRD8KNjob154MA pretty-1.1.3.3
    process-1.6.1.0 QuickCheck-2.10.0.1-DTIBC3CyU6p3h4xSnOjkg1
    random-1.1-DtLcP2Z2iOOC0RwcSmXjBK sbv-7.1-6NqVwzIDXyhErfW15o9vul
    smtLib-1.0.8-Lb4v89ZTrDc8IhNuuXZPpK
    simple-smt-0.7.0-HG8W4cUapz91k8vOeN9qe8
    syb-0.7-2rRPTNxBP6YFePrCXw4i2o text-1.2.2.2-KYRZgO9N4MoJ4sC5lMiKTz
    template-haskell-2.12.0.0 tf-random-0.5-ABDhxe3mXYlHUEE5hzgewx
    transformers-0.5.2.0 transformers-base-0.4.4-4U8VJPfvIYIDHbweeHN2Ld
    utf8-string-1.0.1.1-CvukXmdyLbdJ7d5kadRf8m
    mtl-2.2.1-19EL8AGBsN3DnnOhrC9xY3 time-1.8.0.2
abi-depends: base-4.10.0.0=835a16347ec1b210054efd02671c29ee
             base-compat-0.9.3-7gxrulAnYCf9OVK5Ok3lMW=ac46b6403607906d7452b6c09d665690
             bytestring-0.10.8.2=590a7a3c0bdcf7a6a59d8c8ef548a44a
             array-0.5.2.0=f1e5b16bbab6fd27896e28be963fa7eb
             async-2.1.1.1-2NW8RVpRWiC9M88FM7mCHc=877e0732f418402f16d143a5b45ef88e
             containers-0.5.10.2=dd4e66fa9ac268f47a15786f1100b042
             deepseq-1.4.3.0=5db6f9c28d6213bd6646f988460dacd0
             directory-1.3.0.2=3638cd3d85711234b23f0c0ec04058d3
             filepath-1.4.1.2=7f2f990ae2114c616de6dfc1a7f18a6e
             gitrev-1.3.1-Cgp0kQsBgtmnAoUzRW7fU=8b361517afe1b62831601c12920099ec
             GraphSCC-1.0.4-HLqyUJrTylO8FfYkusTvhD=81ca0aac24810ce75bb0ebbf8c05b2fe
             heredoc-0.2.0.0-4rbuntC2w7uF8duZNRyuy6=d611cdc61919e2aa8b8a787629425881
             monad-control-1.0.2.2-IzU5oITMXX63Y9dO6OJIj=dfad8947f11740596f17fadd714d5078
             monadLib-3.7.3-I79ANJSiGFD9jThzlJcTB9=75cd9654f40b9aff6d7e0a1ff9a6dbbd
             old-time-1.1.0.3-JBqRS8v7R0IBEIYolASC7h=68a36e33bd2b1b969b7f48a0dec887aa
             presburger-1.3.1-LY3ZfoGVtRD8KNjob154MA=0865396ecc0ba4b909072442c6fd84d3
             pretty-1.1.3.3=e10ebff28b4fc258fa0291d45c86289c
             process-1.6.1.0=d01a8ca2c6610f40dfd0fe25f50afb10
             QuickCheck-2.10.0.1-DTIBC3CyU6p3h4xSnOjkg1=5588ae901bf7ac2e6503919cd7ebd8ab
             random-1.1-DtLcP2Z2iOOC0RwcSmXjBK=5faba54ff6ceaac5cbd433f5aeb4a970
             sbv-7.1-6NqVwzIDXyhErfW15o9vul=b0a87daa0fe96794fe2de86947d4e3eb
             smtLib-1.0.8-Lb4v89ZTrDc8IhNuuXZPpK=2bf28ff91e0076cecbec6c6b6fb60c89
             simple-smt-0.7.0-HG8W4cUapz91k8vOeN9qe8=bf24662eecf049b6f20f0f279384a4ce
             syb-0.7-2rRPTNxBP6YFePrCXw4i2o=4ce6cc08831568c116a562974ba627d9
             text-1.2.2.2-KYRZgO9N4MoJ4sC5lMiKTz=9217a19661a41b462c62d1a4bdf2e9b1
             template-haskell-2.12.0.0=f12600dbe1b363b1dcebe6addb7b269e
             tf-random-0.5-ABDhxe3mXYlHUEE5hzgewx=99d98a9c73ccb84bdfcece7fc89dbff3
             transformers-0.5.2.0=2645d250dd615ce454f807270041c5ea
             transformers-base-0.4.4-4U8VJPfvIYIDHbweeHN2Ld=488e16d42785d73d2eee418d7735d08a
             utf8-string-1.0.1.1-CvukXmdyLbdJ7d5kadRf8m=86282a526305f57509e4009ab924a497
             mtl-2.2.1-19EL8AGBsN3DnnOhrC9xY3=dff2eda61fc7cfa040a2eb3f0192c69a
             time-1.8.0.2=e9c7416c5b79f57513fe11898c3d9f95
haddock-interfaces: /usr/share/doc/cryptol/html/cryptol.haddock
haddock-html: /usr/share/doc/cryptol/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

