/var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf is in libghc-djinn-lib-dev 0.0.1.2-6.
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 | name: djinn-lib
version: 0.0.1.2
id: djinn-lib-0.0.1.2-c5d596c806bb7f929e393127ca149c86
key: djinn_CMwKSvibzZYFxhmZjYZcuR
license: BSD3
maintainer: trupill@gmail.com
homepage: http://www.augustsson.net/Darcs/Djinn/
synopsis: Generate Haskell code from a type. Library extracted from djinn package.
description:
Djinn uses an theorem prover for intuitionistic propositional logic
to generate a Haskell expression when given a type.
This is a library extracted from Djinn sources.
category: Language
author: Lennart Augustsson
exposed: True
exposed-modules:
Djinn.HCheck Djinn.HTypes Djinn.LJT Djinn.LJTFormula
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR
data-dir: /usr/share/djinn-lib
hs-libraries: HSdjinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR
depends:
base-4.8.2.0-0d6d1084fbc041e1cded9228e80e264d
containers-0.5.6.2-59326c33e30ec8f6afd574cbac625bbb
mtl-2.2.1-3af90341e75ee52dfc4e3143b4e5d219
pretty-1.1.2.0-5cc412214ea63f61ee84c4fbabdbe0ec
haddock-interfaces: /usr/lib/ghc-doc/haddock/djinn-lib-0.0.1.2/djinn-lib.haddock
haddock-html: /usr/share/doc/libghc-djinn-lib-doc/html/
|