/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/
|