cabal-version: 1.24 name: liquid-prelude version: 0.9.2.8.1 x-revision: 1 synopsis: General utility modules for LiquidHaskell description: General utility modules for LiquidHaskell. 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 category: Language homepage: https://github.com/ucsd-progsys/liquidhaskell build-type: Custom custom-setup setup-depends: Cabal<4, base<5, liquidhaskell-boot library exposed-modules: Language.Haskell.Liquid.RTick Language.Haskell.Liquid.Prelude Language.Haskell.Liquid.Foreign Language.Haskell.Liquid.RTick.Combinators Language.Haskell.Liquid.String Language.Haskell.Liquid.List Language.Haskell.Liquid.Equational Language.Haskell.Liquid.Bag Language.Haskell.Liquid.ProofCombinators hs-source-dirs: src build-depends: base < 5 , ghc-prim , bytestring >= 0.10.12.1 , containers >= 0.6.4.1 , liquidhaskell >= 0.9.2.8 default-language: Haskell2010