libghc-sbv-dev 5.9-1build1 / var / lib / ghc / package.conf.d / sbv-5.9.conf

This file is indexed.

/var/lib/ghc/package.conf.d/sbv-5.9.conf is in libghc-sbv-dev 5.9-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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
name: sbv
version: 5.9
id: sbv-5.9-32cabaa4177f46c6a435dd4d2881cf8b
key: sbv_5HTzJWPh4fpKjJUZuTFEk9
license: BSD3
copyright: Levent Erkok, 2010-2015
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
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/sbv-5.9-5HTzJWPh4fpKjJUZuTFEk9
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/sbv-5.9-5HTzJWPh4fpKjJUZuTFEk9
data-dir: /usr/share/sbv
hs-libraries: HSsbv-5.9-5HTzJWPh4fpKjJUZuTFEk9
depends:
    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
    crackNum-1.3-00ed56d05652b8999d40bf0cf680febb
    data-binary-ieee754-0.4.4-78cc54119e551f9b4e1970612ba69759
    deepseq-1.4.1.1-614b63b36dd6e29d2b35afff57c25311
    directory-1.2.2.0-660a7a83a753ed85c8a374c15dae2b97
    filepath-1.4.0.0-f97d1e4aebfd7a03be6980454fe31d6e
    mtl-2.2.1-3af90341e75ee52dfc4e3143b4e5d219
    old-time-1.1.0.3-4494378134a1c0eadea2f9ea5411834e
    pretty-1.1.2.0-5cc412214ea63f61ee84c4fbabdbe0ec
    process-1.2.3.0-a22328103774f0499a990653944cbf99
    random-1.1-c46cc413d88c0a330b5495d03f0ed464
    syb-0.6-d154b8ffa473f7cfcfc32ca4d99f62f7
haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-5.9/sbv.haddock
haddock-html: /usr/share/doc/libghc-sbv-doc/html/

APT Browse - Built by Thomas Orozco.