cryptol-2.6.0-87-x86_64.pkg.tar.xz


Advertisement

Description

cryptol - The Language of Cryptography

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name cryptol
Package version 2.6.0
Package release 87
Package architecture x86_64
Package type xz
Package license BSD
Installed size 19.04 MB
Download size 2.45 MB
Official Mirror ftp5.gwdg.de
The Language of Cryptography.
Packager: Felix Yan <felixonmars@archlinux.org>

Alternatives

Package Version Architecture Repository
cryptol - - -

Requires

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

Download

Type URL
Binary Package cryptol-2.6.0-87-x86_64.pkg.tar.xz
Source Package cryptol

Install Howto

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

Files

Path
/usr/
/usr/bin/cryptol
/usr/bin/cryptol-html
/usr/lib/libHScryptol-2.6.0-GdzLz7VSuutJKrtaw1bCju-ghc8.6.4.so
/usr/lib/ghc-8.6.4/
/usr/lib/ghc-8.6.4/site-local/
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/GitRev.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Paths_cryptol.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Prelude.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Symbolic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Version.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Arch.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Env.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Reference.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Type.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Eval/Value.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/IR/FreeVars.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Base.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Env.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Exports.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/InstantiateModule.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Interface.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Name.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/NamingEnv.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/ModuleSystem/Renamer.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/AST.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Fixity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Lexer.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/LexerUtils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Name.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Names.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/NoInclude.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/NoPat.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/ParserUtils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Position.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Selector.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Unlit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Parser/Utils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Prims/Eval.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Prims/Syntax.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/REPL/Command.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/REPL/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/REPL/Trie.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Symbolic/Prims.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Symbolic/Value.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Testing/Concrete.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Testing/Random.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Transform/AddModParams.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Transform/MonoValues.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Transform/Specialize.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/AST.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/CheckModuleInstance.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Default.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Depends.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Error.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Infer.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/InferTypes.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Instantiate.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Kind.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/PP.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Parseable.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Sanity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/SimpType.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/SimpleSolver.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solve.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Subst.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Type.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/TypeMap.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/TypeOf.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/TypePat.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Unify.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Class.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Improve.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/InfNat.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Numeric.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/SMT.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Selector.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Types.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Utils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Numeric/Fin.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/TypeCheck/Solver/Numeric/Interval.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/Debug.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/Ident.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/Logger.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/Misc.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/PP.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.0/Cryptol/Utils/Panic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/cryptol-2.6.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
cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz A modern, multi-threaded, feature-rich, simplifying SAT solver
crystal-0.27.2-1-x86_64.pkg.tar.xz The Crystal Programming Language
csfml-2.5-2-x86_64.pkg.tar.xz C bindings for sfml
csound-6.12.2-5-x86_64.pkg.tar.xz A programming language for sound rendering and signal processing
csound-doc-6.12.2-5-x86_64.pkg.tar.xz A programming language for sound rendering and signal processing
csoundqt-0.9.5-7-x86_64.pkg.tar.xz Csound frontend with highlighting editor, autocomplete, interactive widgets and integrated help
ctemplate-2.3-5-x86_64.pkg.tar.xz A library implementing a simple but powerful template language for C++
ctpl-0.3.4-3-x86_64.pkg.tar.xz Template engine library written in C
cuda-10.0.130-2-x86_64.pkg.tar.xz NVIDIA's GPU programming toolkit
cudnn-7.5.0.56-1-x86_64.pkg.tar.xz NVIDIA CUDA Deep Neural Network library
cuetools-1.4.1-3-x86_64.pkg.tar.xz Cue and toc file parsers and utilities
cuneiform-1.1.0-19-x86_64.pkg.tar.xz Linux port of an OCR system developed in Russia. Supports more than 20 languages
cunit-2.1.3-2-x86_64.pkg.tar.xz A Unit Testing Framework for C
cura-4.0.0-1-any.pkg.tar.xz A software solution for 3D printing aimed at RepRaps and the Ultimaker
cura-binary-data-4.0.0-1-any.pkg.tar.xz Binary data (firmwares and such) for cura
Advertisement
Advertisement