Cabal revisions of liquid-containers-0.6.2.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.24-name: liquid-containers-version: 0.6.2.1-synopsis: LiquidHaskell specs for the containers package-description: LiquidHaskell specs for the containers package.-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, base, 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.2.1 && < 0.7- , liquidhaskell >= 0.8.10.1- default-language: Haskell2010- default-extensions: PackageImports- if impl(ghc >= 8.10)- ghc-options: -fplugin=LiquidHaskell+cabal-version: 1.24 +name: liquid-containers +version: 0.6.2.1 +x-revision: 1 +synopsis: LiquidHaskell specs for the containers package +description: LiquidHaskell specs for the containers package. +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, base, 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.2.1 && < 0.7 + , liquidhaskell >= 0.8.10.1 && < 0.9 + default-language: Haskell2010 + default-extensions: PackageImports + if impl(ghc >= 8.10) + ghc-options: -fplugin=LiquidHaskell