b0VIM 7.3wY`Manikiwireless-10-104-157-53.umd.edu~niki/liquidtypes/currentLH/toupload/liquidhaskell/liquidhaskell.cabal 3210#"! UtptKuOJadtcGp5 p U 2  | P & g H & | ^ ] > ] 6 uti)YD!bC'& |\<nJ iC"y\< , process >= 1.2 , pretty >= 1.1 , parsec >= 3.1 , mtl >= 2.1 , hscolour >= 1.22 , ghc-paths >= 0.1 , filepath >= 1.3 , Diff >= 0.3 , directory >= 1.2 , deepseq >= 1.3 , data-default >= 0.5 , containers >= 0.5 , time , cmdargs >= 0.10 , hpc >= 0.6 , array >= 0.5 , time >= 1.4 , template-haskell >= 2.9 , ghc-boot == 8.0.2 , ghc == 8.0.2 Build-Depends: base >=4.8.1.0 && <5 Default-Language: Haskell98Library liquidhaskell hint, build-depends: base >=4.8.1.0 && <5, main-is: src/Target.hs default-language: Haskell2010executable target Default-Extensions: PatternGuards ghc-options: -Werror if flag(devel) ghc-options: -W -threaded -fdefer-typed-holes Main-is: src/Liquid.hs , hpc >= 0.6 , liquidhaskell , located-base , liquid-fixpoint >= 0.7 , process , pretty , deepseq , time , cmdargs , ghc-boot == 8.0.2 , ghc Build-Depends: base >=4.8.1.0 && <5 default-language: Haskell98Executable liquid Default: False Description: use in-tree include directoryFlag include Manual: True Default: False Description: turn on stricter error reporting for developmentFlag devel Location: https://github.com/ucsd-progsys/liquidhaskell/ Type: gitSource-Repository head , tests/ffi-include/foo.h , tests/ffi-include/foo.c , tests/pos/*.hquals , tests/errors/*.hs , tests/import/client/*.hs , tests/import/lib/*.hs , tests/neg/*.hs , tests/pos/*.hs , README.mdextra-source-files: CHANGES.md , syntax/liquid.css , include/710/Data/*.spec , include/System/*.spec , include/Language/Haskell/Liquid/*.pred , include/Language/Haskell/Liquid/*.hs , include/GHC/IO/*.spec , include/GHC/*.spec , include/GHC/*.hquals , include/Foreign/Marshal/*.spec , include/Foreign/C/*.spec , include/Foreign/*.spec , include/Data/ByteString/*.spec , include/Data/Text/Lazy/*.spec , include/Data/Text/Fusion/*.spec , include/Data/Text/*.spec , include/Data/*.spec , include/Data/*.hquals , include/Control/Parallel/*.spec , include/Control/*.spec , include/CoreToLogic.lg , include/*.spec , include/*.hsdata-files: include/*.hqualsCabal-version: >=1.18Build-Type: SimpleCategory: LanguageMaintainer: Ranjit Jhala Author: Ranjit Jhala, Niki Vazou, Eric SeidelLicense-file: LICENSELicense: BSD3Homepage: https://github.com/ucsd-progsys/liquidhaskellDescription: Liquid Types for Haskell.Synopsis: Liquid Types for Haskellbuild-type: SimpleCopyright: 2010-17 Ranjit Jhala & Niki Vazou, University of California, San Diego.Version: 0.8.0.2Name: liquidhaskelladJq?d;" { ` H 6 !  | Y 6  ^ > = , _ 9  z X /  rqjI%}_: , bytestring , template-haskell >= 2.9 , containers >= 0.5 , hpc >= 0.6 , directory >= 1.2 , time >= 1.4 , array >= 0.5 , ghc-boot == 8.0.2 , ghc == 8.0.2 , base >= 4 && < 5 build-depends: liquidhaskell else , hpc >= 0.6 , template-haskell , unordered-containers >= 0.2 , time , syb >= 0.4.4 , pretty , liquid-fixpoint >= 0.7 , hashable >= 1.2 , ghc-boot == 8.0.2 , ghc == 8.0.2 , mtl >= 2.1 , filepath >= 1.3 , directory >= 1.2 , deepseq , data-default >= 0.5 , cmdargs >= 0.10 , cereal , bytestring , binary aeson >= 0.10 && < 1.0 build-depends: hs-source-dirs: tests src if flag(devel) , hpc >= 0.6 , liquid-fixpoint >= 0.7 , syb , transformers >= 0.3 , text , tasty-rerun >= 1.1 , tasty-hunit >= 0.9 , tasty-ant-xml , tasty >= 0.10 , parsec , containers >= 0.5 , ghc-boot == 8.0.2 base >=4.8.1.0 && <5 build-depends: main-is: Parser.hs ghc-options: -W hs-source-dirs: tests type: exitcode-stdio-1.0 default-language: Haskell2010test-suite liquidhaskell-parser , text , hpc >= 0.6 , liquid-fixpoint >= 0.7 , syb , transformers >= 0.3 , tasty-rerun >= 1.1 , tasty-hunit >= 0.9 , tasty-ant-xml , tasty >= 0.10 , tagged >= 0.7.3 , stm >= 2.4 , optparse-applicative >= 0.11 , process >= 1.2 , mtl >= 2.1 , filepath >= 1.3 , directory >= 1.2