/var/lib/ghc/package.conf.d/djinn-ghc-0.0.2.3.conf is in libghc-djinn-ghc-dev 0.0.2.3-6+b3.
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 | name: djinn-ghc
version: 0.0.2.3
id: djinn-ghc-0.0.2.3-7LDASu8N8lBAH4iAo8keHo
key: djinn-ghc-0.0.2.3-7LDASu8N8lBAH4iAo8keHo
license: BSD3
maintainer: trupill@gmail.com
synopsis: Generate Haskell code from a type. Bridge from Djinn to GHC API.
description:
Djinn uses an theorem prover for intuitionistic propositional logic
to generate a Haskell expression when given a type.
This is the bridge from djinn-lib to GHC API.
category: Language
author: Alejandro Serrano
exposed: True
exposed-modules:
Djinn.GHC
abi: 653319d59eedeca52d2b27a0eea8ad30
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/djinn-ghc-0.0.2.3-7LDASu8N8lBAH4iAo8keHo
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/djinn-ghc-0.0.2.3-7LDASu8N8lBAH4iAo8keHo
data-dir: /usr/share/djinn-ghc
hs-libraries: HSdjinn-ghc-0.0.2.3-7LDASu8N8lBAH4iAo8keHo
depends:
async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf base-4.9.0.0 containers-0.5.7.1
djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj ghc-8.0.1
mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM transformers-0.5.2.0
haddock-interfaces: /usr/lib/ghc-doc/haddock/djinn-ghc-0.0.2.3/djinn-ghc.haddock
haddock-html: /usr/share/doc/libghc-djinn-ghc-doc/html/
|