#!/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/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
printf '%s' 'name:                 cryptol
version:              3.3.0
visibility:           public
id:                   cryptol-3.3.0-9U6n1b6VVToL6dtwEFRlPA
key:                  cryptol-3.3.0-9U6n1b6VVToL6dtwEFRlPA
license:              BSD-3-Clause
copyright:            2013-2025 Galois Inc.
maintainer:           cryptol@galois.com
author:               Galois, Inc.
homepage:             https://tools.galois.com/cryptol
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
abi:                  13a656024c582b51bbdae9340510dafb
exposed:              True
exposed-modules:
    Cryptol.AES Cryptol.Backend Cryptol.Backend.Arch
    Cryptol.Backend.Concrete Cryptol.Backend.FFI
    Cryptol.Backend.FFI.Error Cryptol.Backend.FloatHelpers
    Cryptol.Backend.Monad Cryptol.Backend.SBV Cryptol.Backend.SeqMap
    Cryptol.Backend.What4 Cryptol.Backend.WordValue Cryptol.Eval
    Cryptol.Eval.Concrete Cryptol.Eval.Env Cryptol.Eval.FFI
    Cryptol.Eval.FFI.GenHeader Cryptol.Eval.Generic Cryptol.Eval.Prims
    Cryptol.Eval.Reference Cryptol.Eval.SBV Cryptol.Eval.Type
    Cryptol.Eval.Value Cryptol.Eval.What4 Cryptol.F2
    Cryptol.IR.FreeVars Cryptol.IR.TraverseNames Cryptol.ModuleSystem
    Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Binds
    Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Exports
    Cryptol.ModuleSystem.Fingerprint Cryptol.ModuleSystem.Interface
    Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.Name
    Cryptol.ModuleSystem.Names Cryptol.ModuleSystem.NamingEnv
    Cryptol.ModuleSystem.NamingEnv.Types Cryptol.ModuleSystem.Renamer
    Cryptol.ModuleSystem.Renamer.Error
    Cryptol.ModuleSystem.Renamer.ImplicitImports
    Cryptol.ModuleSystem.Renamer.Imports
    Cryptol.ModuleSystem.Renamer.Monad Cryptol.Parser
    Cryptol.Parser.AST Cryptol.Parser.ExpandPropGuards
    Cryptol.Parser.Layout Cryptol.Parser.Lexer Cryptol.Parser.Name
    Cryptol.Parser.Names Cryptol.Parser.NoInclude Cryptol.Parser.NoPat
    Cryptol.Parser.Position Cryptol.Parser.Selector
    Cryptol.Parser.Token Cryptol.Parser.Unlit Cryptol.Parser.Utils
    Cryptol.PrimeEC Cryptol.Project Cryptol.Project.Cache
    Cryptol.Project.Config Cryptol.Project.Monad
    Cryptol.Project.WildMatch Cryptol.REPL.Browse Cryptol.REPL.Command
    Cryptol.REPL.Help Cryptol.REPL.Monad Cryptol.REPL.Trie Cryptol.SHA
    Cryptol.Symbolic Cryptol.Symbolic.SBV Cryptol.Symbolic.What4
    Cryptol.Testing.Random Cryptol.Transform.MonoValues
    Cryptol.Transform.Specialize Cryptol.TypeCheck
    Cryptol.TypeCheck.AST Cryptol.TypeCheck.Default
    Cryptol.TypeCheck.Error Cryptol.TypeCheck.FFI
    Cryptol.TypeCheck.FFI.Error Cryptol.TypeCheck.FFI.FFIType
    Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes
    Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Interface
    Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Module
    Cryptol.TypeCheck.ModuleBacktickInstance
    Cryptol.TypeCheck.ModuleInstance Cryptol.TypeCheck.Monad
    Cryptol.TypeCheck.PP Cryptol.TypeCheck.Parseable
    Cryptol.TypeCheck.Sanity Cryptol.TypeCheck.SimpType
    Cryptol.TypeCheck.SimpleSolver Cryptol.TypeCheck.Solve
    Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Improve
    Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Numeric
    Cryptol.TypeCheck.Solver.Numeric.Fin
    Cryptol.TypeCheck.Solver.Numeric.Interval
    Cryptol.TypeCheck.Solver.SMT Cryptol.TypeCheck.Solver.Selector
    Cryptol.TypeCheck.Solver.Types Cryptol.TypeCheck.Solver.Utils
    Cryptol.TypeCheck.Subst Cryptol.TypeCheck.TCon
    Cryptol.TypeCheck.Type Cryptol.TypeCheck.TypeMap
    Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.TypePat
    Cryptol.TypeCheck.Unify Cryptol.Utils.Benchmark Cryptol.Utils.Debug
    Cryptol.Utils.Fixity Cryptol.Utils.Ident Cryptol.Utils.Logger
    Cryptol.Utils.Misc Cryptol.Utils.PP Cryptol.Utils.Panic
    Cryptol.Utils.Patterns Cryptol.Utils.RecordMap Cryptol.Utils.Types
    Cryptol.Version

hidden-modules:
    Cryptol.Parser.LexerUtils Cryptol.Parser.ParserUtils
    Cryptol.Prelude GHC.Num.Compat Paths_cryptol GitRev

import-dirs:          /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
library-dirs:         /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
library-dirs-static:  /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
dynamic-library-dirs: /usr/lib
data-dir:             /usr/share/cryptol
hs-libraries:         HScryptol-3.3.0-9U6n1b6VVToL6dtwEFRlPA
depends:
    GraphSCC-1.0.4-2MSKzq0PjtF4hFrC9rq2lD
    MemoTrie-0.6.11-KsWtCm1cYsF9lK0YYSUpkG
    arithmoi-0.13.2.0-IkOP2UBQ18KDE5q7CJnoeB array-0.5.8.0
    async-2.2.6-Bvz0oHim5ObDhliTrTP2Rw base-4.18.3.0
    base-compat-0.14.1-FK5GrXzRHJlIaqVbFVqjup
    bv-sized-1.0.6-ATBrU1QpoLZKkA86Y9lUkm bytestring-0.11.5.4
    containers-0.6.7
    criterion-measurement-0.2.3.0-KelppiNn4iW7U1cH501u3w
    cryptohash-sha256-0.11.102.1-Hhy2PcChepJEUFsOgwM2FW deepseq-1.4.8.1
    directory-1.3.8.5 exceptions-0.10.7
    file-embed-0.0.16.0-Heqv1MGULDp1AU5LH7qKhb filepath-1.4.301.0
    ghc-bignum-1.3 ghc-prim-0.10.0 gitrev-1.3.1-EZaugGGDFs6BV1nDP6kF4G
    heredoc-0.2.0.0-HMXo4KdxhxAI85xN89g22p
    hgmp-0.1.2.1-1iBpS6RAhS83VwbI3F5gb4
    language-c99-0.2.0-2qX1bYxPmiSCWHJtbCZ3ay
    language-c99-simple-0.3.0-X4XLH3vDXeJTB6Gp7ZVZS
    libBF-0.6.7-HtWgcNCdLoSCZzzk3YakMS
    libffi-0.2.1-I31kPfh3SzFAH6Y97HCmaD
    monad-control-1.0.3.1-K7anqZtiwSuHJ3uTCvgsNN
    monadLib-3.10.3-9ph6EPXOQLOCoIBrLmOhZ1 mtl-2.3.1
    panic-0.4.0.1-d2Jh8dqfFgDrmaGeX7wx2
    parameterized-utils-2.1.11.0-GKALj4E5lNs9fRJiUQ25Tm pretty-1.1.3.6
    pretty-show-1.10-IMyOnqPwisgFJLGoHg4EWf
    prettyprinter-1.7.1-7idlpVyYYjF3L3v1a4PXY3 process-1.6.19.0
    sbv-10.3-2IYQnWZlL1lKM87HSN0rF3
    simple-smt-0.9.8-HorZOu0r1ZP5NOXQsNePlT stm-2.5.1.0
    strict-0.5.1-6lUx8pSrH6mFc4iqnPXkYY text-2.0.2
    tf-random-0.5-2YVjTTBFolNGoszOr1b3ae time-1.12.2
    toml-parser-2.0.2.0-CLnSmNFS6EB5kaVsQolxfn
    transformers-base-0.4.6.1-8LXShsxqc1Y1YgpoSTcION unix-2.8.6.0
    vector-0.13.2.0-Ld30dKzGatrCjA1JzegXQp
    what4-1.6.1-KqyjUCMOFDq2EHrS4t0EOb

haddock-interfaces:   /usr/share/doc/cryptol/html/cryptol.haddock
haddock-html:         /usr/share/doc/cryptol/html
' | '/usr/bin/ghc-pkg-9.6.7.20250817' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

#!/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/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
printf '%s' 'name:                 z-cryptol-z-cryptol-repl-internal
version:              3.3.0
package-name:         cryptol
lib-name:             cryptol-repl-internal
id:                   cryptol-3.3.0-LEkjQcfoTv3F1Uc6CNx6u-cryptol-repl-internal
key:                  cryptol-3.3.0-LEkjQcfoTv3F1Uc6CNx6u-cryptol-repl-internal
license:              BSD-3-Clause
copyright:            2013-2025 Galois Inc.
maintainer:           cryptol@galois.com
author:               Galois, Inc.
homepage:             https://tools.galois.com/cryptol
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
abi:                  e17d057cb8b4455760678f50456f0a14
exposed-modules:      REPL.Haskeline REPL.Logo
hidden-modules:       Paths_cryptol
import-dirs:          /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
library-dirs:         /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
library-dirs-static:  /usr/lib/ghc-9.6.7.20250817/site-local/cryptol-3.3.0
dynamic-library-dirs: /usr/lib
data-dir:             /usr/share/cryptol
hs-libraries:         HScryptol-3.3.0-LEkjQcfoTv3F1Uc6CNx6u-cryptol-repl-internal
depends:
    ansi-terminal-1.1-LjveotcKVHi4gVkNC9AmYt base-4.18.3.0
    base-compat-0.14.1-FK5GrXzRHJlIaqVbFVqjup containers-0.6.7
    cryptol-3.3.0-9U6n1b6VVToL6dtwEFRlPA directory-1.3.8.5
    exceptions-0.10.7 filepath-1.4.301.0 haskeline-0.8.2.1
    monad-control-1.0.3.1-K7anqZtiwSuHJ3uTCvgsNN text-2.0.2
    transformers-0.6.1.0

haddock-interfaces:   /usr/share/doc/cryptol/html/cryptol.haddock
haddock-html:         /usr/share/doc/cryptol/html
' | '/usr/bin/ghc-pkg-9.6.7.20250817' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

