#!/bin/sh
export PATH='/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/local/sbin:/usr/local/bin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl'
printf '%s' 'name:                 parameterized-utils
version:              2.1.11.0
visibility:           public
id:                   parameterized-utils-2.1.11.0-GKALj4E5lNs9fRJiUQ25Tm
key:                  parameterized-utils-2.1.11.0-GKALj4E5lNs9fRJiUQ25Tm
license:              BSD-3-Clause
copyright:            ©2016-2022 Galois, Inc.
maintainer:           kquick@galois.com, rscott@galois.com
author:               Galois Inc.
stability:            stable
homepage:             https://github.com/GaloisInc/parameterized-utils
synopsis:
    Classes and data structures for working with data-kind indexed types

description:
    This package contains collection classes and type representations
    used for working with values that have a single parameter.  It'\''s
    intended for things like expression libraries where one wishes
    to leverage the Haskell type-checker to improve type-safety by encoding
    the object language type system into data kinds.

category:             Data Structures, Dependent Types
abi:                  938100025909a64912a5fd42cc01fcd2
exposed:              True
exposed-modules:
    Data.Parameterized Data.Parameterized.All Data.Parameterized.Axiom
    Data.Parameterized.BoolRepr Data.Parameterized.Classes
    Data.Parameterized.ClassesC Data.Parameterized.Compose
    Data.Parameterized.Context Data.Parameterized.Context.Safe
    Data.Parameterized.Context.Unsafe Data.Parameterized.Ctx
    Data.Parameterized.Ctx.Proofs Data.Parameterized.DataKind
    Data.Parameterized.DecidableEq Data.Parameterized.Fin
    Data.Parameterized.FinMap Data.Parameterized.FinMap.Safe
    Data.Parameterized.FinMap.Unsafe Data.Parameterized.HashTable
    Data.Parameterized.List Data.Parameterized.Map
    Data.Parameterized.NatRepr Data.Parameterized.Nonce
    Data.Parameterized.Nonce.Transformers
    Data.Parameterized.Nonce.Unsafe Data.Parameterized.Pair
    Data.Parameterized.Peano Data.Parameterized.Some
    Data.Parameterized.SymbolRepr Data.Parameterized.TH.GADT
    Data.Parameterized.TraversableF Data.Parameterized.TraversableFC
    Data.Parameterized.TraversableFC.WithIndex
    Data.Parameterized.Utils.BinTree Data.Parameterized.Utils.Endian
    Data.Parameterized.Vector Data.Parameterized.WithRepr

hidden-modules:       Data.Parameterized.NatRepr.Internal
import-dirs:
    /usr/lib/ghc-9.6.7.20250817/site-local/parameterized-utils-2.1.11.0

library-dirs:
    /usr/lib/ghc-9.6.7.20250817/site-local/parameterized-utils-2.1.11.0

library-dirs-static:
    /usr/lib/ghc-9.6.7.20250817/site-local/parameterized-utils-2.1.11.0

dynamic-library-dirs: /usr/lib
data-dir:             /usr/share/haskell-parameterized-utils
hs-libraries:         HSparameterized-utils-2.1.11.0-GKALj4E5lNs9fRJiUQ25Tm
depends:
    base-4.18.3.0 base-orphans-0.9.3-AcvRjCrG1FQHlOcEG9oa1o
    constraints-0.14.3-ydCyfIqpiDJTSCdQtkP8 containers-0.6.7
    deepseq-1.4.8.1 hashable-1.4.7.0-YZZNogWhFq2WYqlRa2OWX
    hashtables-1.4.2-J8YIuqHK6pzJM5hB3jgDuK
    indexed-traversable-0.1.4-4WgKtUu7swysftQ0x7OdR
    lens-5.3.4-JW0I8lhFgZOIUn8jwAYld5 mtl-2.3.1
    profunctors-5.6.3-Jgt8ESUWTZGBWgmQ3vHTuh template-haskell-2.20.0.0
    text-2.0.2 th-abstraction-0.6.0.0-AIAgi0BLP8bBFLwGO1orLh
    vector-0.13.2.0-Ld30dKzGatrCjA1JzegXQp

haddock-interfaces:
    /usr/share/doc/haskell-parameterized-utils/html/parameterized-utils.haddock

haddock-html:         /usr/share/doc/haskell-parameterized-utils/html
' | '/usr/bin/ghc-pkg-9.6.7.20250817' 'update' '--force' '-' '--global' '--no-user-package-db' "$@"

