libghc-cryptol-dev 2.4.0-2+b1 / 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-2+b1.

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
name: cryptol
version: 2.4.0
id: cryptol-2.4.0-Dy3bR6U5Wpo6FlXpurgrsk
key: cryptol-2.4.0-Dy3bR6U5Wpo6FlXpurgrsk
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: d79ed2986ac504beff6cdfdf62019e48
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/cryptol-2.4.0-Dy3bR6U5Wpo6FlXpurgrsk
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/cryptol-2.4.0-Dy3bR6U5Wpo6FlXpurgrsk
data-dir: /usr/share/cryptol
hs-libraries: HScryptol-2.4.0-Dy3bR6U5Wpo6FlXpurgrsk
depends:
    GraphSCC-1.0.4-29lKjwOkcMA2CwUvlLBWXa
    QuickCheck-2.8.2-B7cXgOk7OAiKrNRsk2SfuA array-0.5.1.1
    async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf base-4.9.0.0
    base-compat-0.9.1-tmPpmtbHbvIDjFWbkjGrR bytestring-0.10.8.1
    containers-0.5.7.1 deepseq-1.4.2.0 directory-1.2.6.2
    filepath-1.4.1.0 gitrev-1.2.0-Ium1ewHFPiqb1Q41BfwuH
    heredoc-0.2.0.0-6aTHSgLV4FEVhWSrwgNKK
    monad-control-1.0.1.0-H3dGiNkRft7DwaQy0vBH7n
    monadLib-3.7.3-FphQCbhIloOGnfv3HBnlfx
    old-time-1.1.0.3-IcvdkJUsE9M8t3io8peAEp
    presburger-1.3.1-EA6mCNyD2RY1G0M9uMSBQ1 pretty-1.1.3.3
    process-1.4.2.0 random-1.1-54KmMHXjttlERYcr1mvsAe
    sbv-5.12-9y2Jgr5O7Pf2vNeRrQJoMP
    simple-smt-0.6.0-5543C8DvAUK2J6JWTZHsRF
    smtLib-1.0.8-Bt3Tk60TVnX767HaeKW2tG syb-0.6-C65vWCsht6A8uLstpQIXyj
    template-haskell-2.11.0.0 text-1.2.2.1-5QpmrLQApEZ4Ly9nMHWY0s
    tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD transformers-0.5.2.0
    transformers-base-0.4.4-6WqVTr4Ef5J5QMUegkYowo
    utf8-string-1.0.1.1-2T8mBCuEDlXDo8zed8Onw4
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.