/var/lib/ghc/package.conf.d/simple-smt-0.6.0.conf is in libghc-simple-smt-dev 0.6.0-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 | name: simple-smt
version: 0.6.0
id: simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
key: simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
license: BSD3
maintainer: iavor.diatchki@gmail.com
synopsis: A simple way to interact with an SMT solver process.
description:
A simple way to interact with an SMT solver process.
category: Math
author: Iavor S. Diatchki
exposed: True
exposed-modules:
SimpleSMT
abi: 53604b7b587e72ec39e3f426b98c464b
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2
data-dir: /usr/share/simple-smt
hs-libraries: HSsimple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc
depends:
base-4.9.1.0 process-1.4.3.0
haddock-interfaces: /usr/lib/ghc-doc/haddock/simple-smt-0.6.0/simple-smt.haddock
haddock-html: /usr/share/doc/libghc-simple-smt-doc/html/
|