/var/lib/ghc/package.conf.d/smtLib-1.0.8.conf is in libghc-smtlib-dev 1.0.8-3build1.
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 | name: smtLib
version: 1.0.8
id: smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
key: smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
license: BSD3
maintainer: iavor.diatchki@gmail.com
synopsis: A library for working with the SMTLIB format.
description:
A library for working with the SMTLIB format.
category: SMT
author: Iavor S. Diatchki
exposed: True
exposed-modules:
SMTLib1 SMTLib1.QF_BV SMTLib1.QF_AUFBV SMTLib2 SMTLib2.Compat1
SMTLib2.Core SMTLib2.BitVector SMTLib2.Array SMTLib2.Int
hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP
abi: 0bea99758fedde231ca0d7968a9d355d
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2
data-dir: /usr/share/smtlib
hs-libraries: HSsmtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
depends:
base-4.9.1.0 pretty-1.1.3.3
haddock-interfaces: /usr/lib/ghc-doc/haddock/smtlib-1.0.8/smtLib.haddock
haddock-html: /usr/share/doc/libghc-smtlib-doc/html/
|