#!/bin/sh
export PATH='/usr/lib/distcc/bin:/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
echo 'name: presburger
version: 1.3.1
id: presburger-1.3.1-KXC8t3kM0alEcAX1uULthX
key: presburger-1.3.1-KXC8t3kM0alEcAX1uULthX
license: BSD-3-Clause
maintainer: diatchki@galois.com
author: Iavor S. Diatchki
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
abi: 7ce86bd3e9f4e75776f25ab999f82342
exposed: True
exposed-modules:
    Data.Integer.SAT
import-dirs: /usr/lib/ghc-8.4.3/site-local/presburger-1.3.1
library-dirs: /usr/lib/ghc-8.4.3/site-local/presburger-1.3.1
dynamic-library-dirs: /usr/lib
data-dir: /usr/share/arm-linux-ghc-8.4.3/presburger-1.3.1
hs-libraries: HSpresburger-1.3.1-KXC8t3kM0alEcAX1uULthX
depends:
    base-4.11.1.0 containers-0.5.11.0 pretty-1.1.3.6
abi-depends: base-4.11.1.0=a3fb1645bafaa89172454c2eea8dfdc9
             containers-0.5.11.0=94bb4831ae701bd40855b2dc2d65cf7c
             pretty-1.1.3.6=3c31686bd534e1773b954ae82713db97
haddock-interfaces: /usr/share/doc/haskell-presburger/html/presburger.haddock
haddock-html: /usr/share/doc/haskell-presburger/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

