Cabal revisions of liquid-prelude-0.9.2.8.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.24-name: liquid-prelude-version: 0.9.2.8.2-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 <jhala@cs.ucsd.edu>-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+cabal-version: 1.24 +name: liquid-prelude +version: 0.9.2.8.2 +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 <jhala@cs.ucsd.edu> +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 && < 0.9.10.1.2 + default-language: Haskell2010