libghc-cryptol-dev 2.4.0-3 / var / lib / ghc / package.conf.d / cryptol-2.4.0.conf

This file is indexed.

/var/lib/ghc/package.conf.d/cryptol-2.4.0.conf is in libghc-cryptol-dev 2.4.0-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
name: cryptol
version: 2.4.0
id: cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9
key: cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9
license: BSD3
copyright: 2013-2016 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
exposed-modules:
    Cryptol.Prims.Syntax Cryptol.Prims.Eval Cryptol.Parser
    Cryptol.Parser.Lexer Cryptol.Parser.AST Cryptol.Parser.Position
    Cryptol.Parser.Names Cryptol.Parser.Name Cryptol.Parser.NoPat
    Cryptol.Parser.NoInclude Cryptol.Parser.Utils Cryptol.Parser.Unlit
    Cryptol.Utils.Ident Cryptol.Utils.PP Cryptol.Utils.Panic
    Cryptol.Utils.Debug Cryptol.Utils.Misc Cryptol.Version
    Cryptol.ModuleSystem Cryptol.ModuleSystem.Base
    Cryptol.ModuleSystem.Env Cryptol.ModuleSystem.Interface
    Cryptol.ModuleSystem.Monad Cryptol.ModuleSystem.Name
    Cryptol.ModuleSystem.NamingEnv Cryptol.ModuleSystem.Renamer
    Cryptol.TypeCheck Cryptol.TypeCheck.AST Cryptol.TypeCheck.Monad
    Cryptol.TypeCheck.Infer Cryptol.TypeCheck.InferTypes
    Cryptol.TypeCheck.Kind Cryptol.TypeCheck.Subst
    Cryptol.TypeCheck.Instantiate Cryptol.TypeCheck.Unify
    Cryptol.TypeCheck.Depends Cryptol.TypeCheck.PP
    Cryptol.TypeCheck.Solve Cryptol.TypeCheck.TypeMap
    Cryptol.TypeCheck.TypeOf Cryptol.TypeCheck.Sanity
    Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Class
    Cryptol.TypeCheck.Solver.Selector Cryptol.TypeCheck.Solver.Utils
    Cryptol.TypeCheck.Solver.Simplify Cryptol.TypeCheck.Solver.CrySAT
    Cryptol.TypeCheck.Solver.Numeric.AST
    Cryptol.TypeCheck.Solver.Numeric.ImportExport
    Cryptol.TypeCheck.Solver.Numeric.Defined
    Cryptol.TypeCheck.Solver.Numeric.Fin
    Cryptol.TypeCheck.Solver.Numeric.Interval
    Cryptol.TypeCheck.Solver.Numeric.Simplify
    Cryptol.TypeCheck.Solver.Numeric.Simplify1
    Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
    Cryptol.TypeCheck.Solver.Numeric.NonLin
    Cryptol.TypeCheck.Solver.Numeric.SMT Cryptol.Transform.MonoValues
    Cryptol.Transform.Specialize Cryptol.Eval Cryptol.Eval.Arch
    Cryptol.Eval.Env Cryptol.Eval.Error Cryptol.Eval.Type
    Cryptol.Eval.Value Cryptol.Testing.Concrete Cryptol.Testing.Random
    Cryptol.Symbolic Cryptol.Symbolic.Prims Cryptol.Symbolic.Value
    Cryptol.REPL.Command Cryptol.REPL.Monad Cryptol.REPL.Trie
hidden-modules: Cryptol.Parser.LexerUtils
                Cryptol.Parser.ParserUtils Cryptol.Prelude Paths_cryptol GitRev
abi: 3130e66fe1da24a9e1419f971bb92827
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2
data-dir: /usr/share/cryptol
hs-libraries: HScryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9
depends:
    GraphSCC-1.0.4-Iq54gbNSXQJeoD93gYxCb
    QuickCheck-2.9.2-LvlomhGMxrFBkX1zwiWpQu array-0.5.1.1
    async-2.1.1.1-8yywY4inVGRLJSCg60gBXj base-4.9.1.0
    base-compat-0.9.3-KeJp8zYMpcS9WibvTcxU22 bytestring-0.10.8.1
    containers-0.5.7.1 deepseq-1.4.2.0 directory-1.3.0.0
    filepath-1.4.1.1 gitrev-1.3.1-L1jGIzodQ4jCVp1snYIDy0
    heredoc-0.2.0.0-Jg6sigD2fZ2IdGZYuiaeTN
    monad-control-1.0.2.2-3gi0rBT0RRq8S2cSqiTk2r
    monadLib-3.7.3-JVH5yXMwxA1D69QpbmF3VA
    old-time-1.1.0.3-KWRsMSdY26c2L27Y9n9cyq
    presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W pretty-1.1.3.3
    process-1.4.3.0 random-1.1-9tceXaeYIMZ4JrKq20Egog
    sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
    simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
    smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp syb-0.7-4OKdCpwGutyB1rNRmoa0ya
    template-haskell-2.11.1.0 text-1.2.2.2-9UQZjEJZQFSGMffj1Z5g00
    tf-random-0.5-CJZw1ZWS5MOJlR60HqKEZL transformers-0.5.2.0
    transformers-base-0.4.4-4JWVtuTd5KX4LSw5ilemWP
    utf8-string-1.0.1.1-1DpjxLeTvGg7ttZZojxJR5
haddock-interfaces: /usr/lib/ghc-doc/haddock/cryptol-2.4.0/cryptol.haddock
haddock-html: /usr/share/doc/libghc-cryptol-doc/html/

APT Browse - Built by Thomas Orozco.