libghc-sbv-dev 5.14-1build3 / var / lib / ghc / package.conf.d / sbv-5.14.conf

This file is indexed.

/var/lib/ghc/package.conf.d/sbv-5.14.conf is in libghc-sbv-dev 5.14-1build3.

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
82
83
84
85
86
87
88
89
90
91
name: sbv
version: 5.14
id: sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
key: sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
license: BSD3
copyright: Levent Erkok, 2010-2017
maintainer: Levent Erkok (erkokl@gmail.com)
stability: Experimental
homepage: http://leventerkok.github.com/sbv/
synopsis: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
description:
    Express properties about Haskell programs and automatically prove them using SMT
    (Satisfiability Modulo Theories) solvers.
    .
    For details, please see: <http://leventerkok.github.com/sbv/>
category: Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
author: Levent Erkok
exposed: True
exposed-modules:
    Data.SBV Data.SBV.Bridge.Boolector Data.SBV.Bridge.CVC4
    Data.SBV.Bridge.MathSAT Data.SBV.Bridge.Yices Data.SBV.Bridge.Z3
    Data.SBV.Bridge.ABC Data.SBV.Dynamic Data.SBV.Internals
    Data.SBV.Examples.BitPrecise.BitTricks
    Data.SBV.Examples.BitPrecise.Legato
    Data.SBV.Examples.BitPrecise.MergeSort
    Data.SBV.Examples.BitPrecise.MultMask
    Data.SBV.Examples.BitPrecise.PrefixSum
    Data.SBV.Examples.CodeGeneration.AddSub
    Data.SBV.Examples.CodeGeneration.CRC_USB5
    Data.SBV.Examples.CodeGeneration.Fibonacci
    Data.SBV.Examples.CodeGeneration.GCD
    Data.SBV.Examples.CodeGeneration.PopulationCount
    Data.SBV.Examples.CodeGeneration.Uninterpreted
    Data.SBV.Examples.Crypto.AES Data.SBV.Examples.Crypto.RC4
    Data.SBV.Examples.Existentials.CRCPolynomial
    Data.SBV.Examples.Existentials.Diophantine
    Data.SBV.Examples.Misc.Enumerate Data.SBV.Examples.Misc.Floating
    Data.SBV.Examples.Misc.ModelExtract
    Data.SBV.Examples.Misc.Auxiliary Data.SBV.Examples.Misc.NoDiv0
    Data.SBV.Examples.Misc.Word4
    Data.SBV.Examples.Polynomials.Polynomials
    Data.SBV.Examples.Puzzles.Birthday Data.SBV.Examples.Puzzles.Coins
    Data.SBV.Examples.Puzzles.Counts
    Data.SBV.Examples.Puzzles.DogCatMouse
    Data.SBV.Examples.Puzzles.Euler185 Data.SBV.Examples.Puzzles.Fish
    Data.SBV.Examples.Puzzles.MagicSquare
    Data.SBV.Examples.Puzzles.NQueens
    Data.SBV.Examples.Puzzles.SendMoreMoney
    Data.SBV.Examples.Puzzles.Sudoku Data.SBV.Examples.Puzzles.U2Bridge
    Data.SBV.Examples.Uninterpreted.AUF
    Data.SBV.Examples.Uninterpreted.Deduce
    Data.SBV.Examples.Uninterpreted.Function
    Data.SBV.Examples.Uninterpreted.Shannon
    Data.SBV.Examples.Uninterpreted.Sort
    Data.SBV.Examples.Uninterpreted.UISortAllSat
hidden-modules: Data.SBV.BitVectors.AlgReals
                Data.SBV.BitVectors.Concrete Data.SBV.BitVectors.Data
                Data.SBV.BitVectors.Kind Data.SBV.BitVectors.Model
                Data.SBV.BitVectors.Operations Data.SBV.BitVectors.PrettyNum
                Data.SBV.BitVectors.Floating Data.SBV.BitVectors.Splittable
                Data.SBV.BitVectors.STree Data.SBV.BitVectors.Symbolic
                Data.SBV.Compilers.C Data.SBV.Compilers.CodeGen Data.SBV.SMT.SMT
                Data.SBV.SMT.SMTLib Data.SBV.SMT.SMTLib2 Data.SBV.SMT.SMTLibNames
                Data.SBV.Provers.Prover Data.SBV.Provers.SExpr
                Data.SBV.Provers.Boolector Data.SBV.Provers.CVC4
                Data.SBV.Provers.Yices Data.SBV.Provers.Z3 Data.SBV.Provers.MathSAT
                Data.SBV.Provers.ABC Data.SBV.Tools.ExpectedValue
                Data.SBV.Tools.GenTest Data.SBV.Tools.Optimize
                Data.SBV.Tools.Polynomial Data.SBV.Utils.Boolean
                Data.SBV.Utils.Numeric Data.SBV.Utils.TDiff Data.SBV.Utils.Lib
                GHC.SrcLoc.Compat GHC.Stack.Compat
abi: db0b604713d25736a0f4f815a25ea56a
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/sbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2
data-dir: /usr/share/sbv
hs-libraries: HSsbv-5.14-J8DYRkzlBsXA5yWbKEMnUd
depends:
    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 containers-0.5.7.1
    crackNum-1.9-IFuCbm0SyecAOrENUeW0mp
    data-binary-ieee754-0.4.4-7iiF2mP1jcB6tVSPgIyBOi deepseq-1.4.2.0
    directory-1.3.0.0 filepath-1.4.1.1 ghc-8.0.2
    mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6
    old-time-1.1.0.3-KWRsMSdY26c2L27Y9n9cyq pretty-1.1.3.3
    process-1.4.3.0 random-1.1-9tceXaeYIMZ4JrKq20Egog
    syb-0.7-4OKdCpwGutyB1rNRmoa0ya
haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-5.14/sbv.haddock
haddock-html: /usr/share/doc/libghc-sbv-doc/html/

APT Browse - Built by Thomas Orozco.