libghc-cryptol-dev 2.2.6-1build1 / var / lib / ghc / package.conf.d / cryptol-2.2.6.conf

This file is indexed.

/var/lib/ghc/package.conf.d/cryptol-2.2.6.conf is in libghc-cryptol-dev 2.2.6-1build1.

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
name: cryptol
version: 2.2.6
id: cryptol-2.2.6-12c2405fcc83e5c70e6cfad6ee709456
key: crypt_HzkuKymUadT8jryshtPX0L
license: BSD3
copyright: 2013-2015 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.Types Cryptol.Prims.Eval
    Cryptol.Prims.Doc Cryptol.Parser Cryptol.Parser.Lexer
    Cryptol.Parser.AST Cryptol.Parser.Position Cryptol.Parser.Names
    Cryptol.Parser.NoPat Cryptol.Parser.NoInclude Cryptol.Parser.Utils
    Cryptol.Parser.Unlit Cryptol.Utils.PP Cryptol.Utils.Panic
    Cryptol.Utils.Debug Cryptol.Version Cryptol.ModuleSystem
    Cryptol.ModuleSystem.Base Cryptol.ModuleSystem.Env
    Cryptol.ModuleSystem.Interface Cryptol.ModuleSystem.Monad
    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.Defaulting
    Cryptol.TypeCheck.Solver.Eval Cryptol.TypeCheck.Solver.FinOrd
    Cryptol.TypeCheck.Solver.InfNat Cryptol.TypeCheck.Solver.Interval
    Cryptol.TypeCheck.Solver.Smtlib Cryptol.TypeCheck.Solver.Numeric
    Cryptol.TypeCheck.Solver.Class Cryptol.TypeCheck.Solver.Selector
    Cryptol.TypeCheck.Solver.CrySAT Cryptol.TypeCheck.Solver.Utils
    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.Eval
    Cryptol.Testing.Exhaust 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
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/cryptol-2.2.6-HzkuKymUadT8jryshtPX0L
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/cryptol-2.2.6-HzkuKymUadT8jryshtPX0L
data-dir: /usr/share/cryptol
hs-libraries: HScryptol-2.2.6-HzkuKymUadT8jryshtPX0L
depends:
    GraphSCC-1.0.4-3059cdf1ff539eda0a0605835ea2f469
    QuickCheck-2.8.1-3b4e59fb7b4229f7e8519c5347611ffa
    array-0.5.1.0-960bf9ae8875cc30355e086f8853a049
    async-2.0.2-a831412d1c1f2d2e26f26bb4545c7372
    base-4.8.2.0-0d6d1084fbc041e1cded9228e80e264d
    base-compat-0.8.2-78f8fb2b4a7e3cef0740acd6830a6ce5
    containers-0.5.6.2-59326c33e30ec8f6afd574cbac625bbb
    deepseq-1.4.1.1-614b63b36dd6e29d2b35afff57c25311
    directory-1.2.2.0-660a7a83a753ed85c8a374c15dae2b97
    filepath-1.4.0.0-f97d1e4aebfd7a03be6980454fe31d6e
    gitrev-1.1.0-aaa3541cc9c3f665f3a77b9aed095e75
    heredoc-0.2.0.0-d32b7c1f9b26ac65b5d349232cbf53bf
    monadLib-3.7.3-47e8520985b03d57f54bbb5b4436b7c9
    old-time-1.1.0.3-4494378134a1c0eadea2f9ea5411834e
    presburger-1.3.1-9019a56819f7365c16c7cfb0b3b52c2a
    pretty-1.1.2.0-5cc412214ea63f61ee84c4fbabdbe0ec
    process-1.2.3.0-a22328103774f0499a990653944cbf99
    random-1.1-c46cc413d88c0a330b5495d03f0ed464
    sbv-5.9-32cabaa4177f46c6a435dd4d2881cf8b
    smtLib-1.0.7-23e0e0c0d3f03069ac4db3dd8ff34317
    syb-0.6-d154b8ffa473f7cfcfc32ca4d99f62f7
    template-haskell-2.10.0.0-3c4cb52230f347282af9b2817f013181
    text-1.2.2.0-2c09cfae3213a07ad08b7cc1c9a4bb52
    tf-random-0.5-be1be3a7eeba5ee8baa6cee25a76f884
    transformers-0.4.2.0-81450cd8f86b36eaa8fa0cbaf6efc3a3
    utf8-string-1.0.1.1-09f6924ad5da4f093413455bda66bd2c
haddock-interfaces: /usr/lib/ghc-doc/haddock/cryptol-2.2.6/cryptol.haddock
haddock-html: /usr/share/doc/libghc-cryptol-doc/html/

APT Browse - Built by Thomas Orozco.