cryptol-2.8.0-23-x86_64.pkg.tar.zst


Advertisement

Description

cryptol - The Language of Cryptography

Property Value
Distribution Arch Linux
Repository Arch Linux Community Testing x86_64
Package filename cryptol-2.8.0-23-x86_64.pkg.tar.zst
Package name cryptol
Package version -
Package release -
Package architecture -
Package type zst
Homepage https://www.cryptol.net
License BSD
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 2.58 MB
Installed size 19.14 MB

Alternatives

Package Version Architecture Repository
cryptol-2.8.0-22-x86_64.pkg.tar.zst Arch Linux Community
cryptol - - -

Requires

Name Value
ghc-libs -
haskell-ansi-terminal -
haskell-base-compat -
haskell-blaze-html -
haskell-cryptohash-sha1 -
haskell-gitrev -
haskell-graphscc -
haskell-heredoc -
haskell-monad-control -
haskell-monadlib -
haskell-panic -
haskell-random -
haskell-sbv -
haskell-simple-smt -
haskell-strict -
haskell-tf-random -
haskell-transformers-base -
z3 -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package cryptol-2.8.0-23-x86_64.pkg.tar.zst
Source Package cryptol

Install Howto

  1. Enable the community-testing repository on /etc/pacman.conf:
    
    [community-testing]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install cryptol zst package:
    # pacman -Sy cryptol

Files

Path
/usr/
/usr/bin/cryptol
/usr/bin/cryptol-html
/usr/lib/libHScryptol-2.8.0-HwgmVwh6QiqCFjPRB4p27Y-ghc8.8.1.so
/usr/lib/ghc-8.8.1/
/usr/lib/ghc-8.8.1/site-local/
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/GitRev.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Paths_cryptol.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Prelude.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Symbolic.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Version.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Arch.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Env.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Monad.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Reference.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Type.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Eval/Value.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/IR/FreeVars.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Base.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Env.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Exports.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Fingerprint.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/InstantiateModule.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Interface.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Monad.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Name.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/NamingEnv.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/ModuleSystem/Renamer.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/AST.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Fixity.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Lexer.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/LexerUtils.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Name.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Names.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/NoInclude.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/NoPat.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/ParserUtils.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Position.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Selector.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Unlit.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Parser/Utils.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Prims/Eval.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/REPL/Command.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/REPL/Monad.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/REPL/Trie.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Symbolic/Prims.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Symbolic/Value.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Testing/Concrete.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Testing/Random.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Transform/AddModParams.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Transform/MonoValues.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Transform/Specialize.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/AST.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/CheckModuleInstance.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Default.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Depends.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Error.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Infer.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/InferTypes.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Instantiate.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Kind.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Monad.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/PP.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Parseable.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Sanity.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/SimpType.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/SimpleSolver.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solve.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Subst.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/TCon.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Type.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/TypeMap.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/TypeOf.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/TypePat.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Unify.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Class.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Improve.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/InfNat.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Numeric.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/SMT.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Selector.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Types.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Utils.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Numeric/Fin.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/TypeCheck/Solver/Numeric/Interval.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Debug.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Ident.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Logger.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Misc.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/PP.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Panic.dyn_hi
/usr/lib/ghc-8.8.1/site-local/cryptol-2.8.0/Cryptol/Utils/Patterns.dyn_hi
/usr/share/
/usr/share/cryptol/Cryptol.cry
/usr/share/cryptol/CryptolTC.z3
/usr/share/doc/
/usr/share/doc/cryptol/
/usr/share/haskell/
/usr/share/haskell/register/cryptol.sh
/usr/share/haskell/unregister/cryptol.sh
/usr/share/licenses/
/usr/share/licenses/cryptol/LICENSE

See Also

Package Description
ddclient-3.9.1-1-any.pkg.tar.zst Update dynamic DNS entries for accounts on many dynamic DNS services
ghc-8.8.1-2-x86_64.pkg.tar.zst The Glasgow Haskell Compiler
ghc-libs-8.8.1-2-x86_64.pkg.tar.zst The Glasgow Haskell Compiler - Dynamic Libraries
ghc-static-8.8.1-2-x86_64.pkg.tar.zst The Glasgow Haskell Compiler - Static Libraries and Documentation
git-annex-7.20191230-12-x86_64.pkg.tar.zst Manage files with git, without checking their contents into git
git-repair-1.20200102-3-x86_64.pkg.tar.zst Repairs a damaged git repository
gunicorn-20.0.4-1-any.pkg.tar.zst WSGI HTTP Server for UNIX
happy-1.19.12-2-x86_64.pkg.tar.zst The Parser Generator for Haskell
haskell-abstract-deque-0.3-14-x86_64.pkg.tar.zst Abstract, parameterized interface to mutable Deques
haskell-abstract-par-0.3.3-14-x86_64.pkg.tar.zst Type classes generalizing the functionality of the \'monad-par\' library
haskell-adjunctions-4.4-113-x86_64.pkg.tar.zst Adjunctions and representable functors
haskell-aeson-1.4.6.0-9-x86_64.pkg.tar.zst A JSON parsing and encoding library optimized for ease of use and high performance
haskell-aeson-better-errors-0.9.1.0-146-x86_64.pkg.tar.zst Better error messages when decoding JSON values
haskell-aeson-compat-0.3.9-64-x86_64.pkg.tar.zst Compatibility layer for aeson
haskell-aeson-diff-1.1.0.8-15-x86_64.pkg.tar.zst Extract and apply patches to JSON documents
Advertisement
Advertisement