cabal-version: 1.22 name: liquid-platform version: 0.8.10.1 synopsis: A battery-included platform for LiquidHaskell description: A battery-included platform 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: Simple flag devel default: False manual: True description: turn on stricter error reporting for development executable liquidhaskell main-is: src/Liquid.hs default-language: Haskell2010 ghc-options: -W -threaded if impl(ghc < 8.10.1) buildable: False else buildable: True build-depends: liquid-base >= 4.14.0.0 && < 5 , liquid-containers >= 0.6.2.1 && < 0.7 , liquid-prelude >= 0.8.10.1 , liquid-vector >= 0.12.1.2 && < 0.13 , liquid-bytestring >= 0.10.0.0 && < 0.11 , liquidhaskell >= 0.8.10.1 , process >= 1.6.0.0 && < 1.7 , cmdargs >= 0.10 && < 0.11 if flag(devel) ghc-options: -Werror executable gradual main-is: src/Gradual.hs build-depends: base >= 4.8.1.0 && < 5 , cmdargs , hscolour , liquid-fixpoint >= 0.7.0.5 , liquidhaskell >= 0.8.10.1 default-language: Haskell2010 buildable: False ghc-options: -W -threaded if flag(devel) ghc-options: -Werror executable target main-is: src/Target.hs build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell >= 0.8.10.1 default-language: Haskell2010 buildable: False