/var/lib/ghc/package.conf.d/presburger-1.3.1.conf is in libghc-presburger-dev 1.3.1-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: presburger
version: 1.3.1
id: presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W
key: presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W
license: BSD3
maintainer: diatchki@galois.com
homepage: http://github.com/yav/presburger
synopsis: A decision procedure for quantifier-free linear arithmetic.
description:
The decision procedure is based on the algorithm used in
CVC4, which is itself based on the Omega test.
category: Algorithms
author: Iavor S. Diatchki
exposed: True
exposed-modules:
Data.Integer.SAT
abi: 437964da1e37c5171d8961deb3c5fcc1
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W
library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2
data-dir: /usr/share/presburger
hs-libraries: HSpresburger-1.3.1-8vpb1K8V7jL6H3PN187B5W
depends:
base-4.9.1.0 containers-0.5.7.1 pretty-1.1.3.3
haddock-interfaces: /usr/lib/ghc-doc/haddock/presburger-1.3.1/presburger.haddock
haddock-html: /usr/share/doc/libghc-presburger-doc/html/
|