#!/bin/sh
export PATH='/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
echo 'name:                 dec
version:              0.0.4
visibility:           public
id:                   dec-0.0.4-G4OCtY0mNAx8DKRE7fgeSn
key:                  dec-0.0.4-G4OCtY0mNAx8DKRE7fgeSn
license:              BSD-3-Clause
copyright:            (c) 2019-2021 Oleg Grenrus
maintainer:           Oleg.Grenrus <oleg.grenrus@iki.fi>
author:               Oleg Grenrus <oleg.grenrus@iki.fi>
homepage:             https://github.com/phadej/vec
synopsis:             Decidable propositions.
description:
    This package provides a @Dec@ type.

    @
    type Neg a = a -> Void

    data Dec a
    \    = Yes a
    \    | No (Neg a)
    @

category:             Data, Dependent Types
abi:                  acd03358bc18629b0575a3d14ef96caa
exposed:              True
exposed-modules:      Data.Type.Dec
import-dirs:          /usr/lib/ghc-8.10.5/site-local/dec-0.0.4
library-dirs:         /usr/lib/ghc-8.10.5/site-local/dec-0.0.4
dynamic-library-dirs: /usr/lib
data-dir:             /usr/share/i386-linux-ghc-8.10.5/dec-0.0.4
hs-libraries:         HSdec-0.0.4-G4OCtY0mNAx8DKRE7fgeSn
depends:              base-4.14.2.0
haddock-interfaces:   /usr/share/doc/haskell-dec/html/dec.haddock
haddock-html:         /usr/share/doc/haskell-dec/html
' | '/usr/bin/ghc-pkg' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

