cabal-version:      1.24
name:               liquid-containers
version:            0.6.4.1
x-revision: 2
synopsis:           Old specs for containers
description:        Superseded by liquidhaskell >= 0.9.2.
license:            BSD3
license-file:       LICENSE
copyright:          2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
author:             Ranjit Jhala, Niki Vazou, Eric Seidel
maintainer:         Ranjit Jhala <jhala@cs.ucsd.edu>
category:           Language
homepage:           https://github.com/ucsd-progsys/liquidhaskell
build-type:         Custom

data-files:           src/Data/Set.spec

custom-setup
  setup-depends: Cabal<4, base<5, liquidhaskell

library
  exposed-modules:    Data.Containers.ListUtils
                      Data.IntMap
                      Data.IntMap.Lazy
                      Data.IntMap.Strict
                      Data.IntMap.Strict.Internal
                      Data.IntMap.Internal
                      Data.IntMap.Internal.Debug
                      Data.IntMap.Merge.Lazy
                      Data.IntMap.Merge.Strict
                      Data.IntSet.Internal
                      Data.IntSet
                      Data.Map
                      Data.Map.Lazy
                      Data.Map.Merge.Lazy
                      Data.Map.Strict.Internal
                      Data.Map.Strict
                      Data.Map.Merge.Strict
                      Data.Map.Internal
                      Data.Map.Internal.Debug
                      Data.Set.Internal
                      Data.Set
                      Data.Graph
                      Data.Sequence
                      Data.Sequence.Internal
                      Data.Sequence.Internal.Sorting
                      Data.Tree
                      Utils.Containers.Internal.BitUtil
                      Utils.Containers.Internal.BitQueue
                      Utils.Containers.Internal.StrictPair
  hs-source-dirs:     src
  build-depends:      liquid-base          < 5
                    , containers           >= 0.6.4.1 && < 0.7
                    , liquidhaskell        >= 0.9.0.2 && < 0.9.2
  default-language:   Haskell2010
  default-extensions: PackageImports
  if impl(ghc >= 8.10)
    ghc-options: -fplugin=LiquidHaskell