Cabal revisions of liquid-bytestring-0.10.12.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.24-name: liquid-bytestring-version: 0.10.12.1-synopsis: LiquidHaskell specs for the bytestring package-description: LiquidHaskell specs for the bytestring 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/ByteString.spec- src/Data/ByteString/Short.spec- src/Data/ByteString/Lazy.spec- src/Data/ByteString/Unsafe.spec- src/Data/ByteString/Char8.spec- src/Data/ByteString/Lazy/Char8.spec--custom-setup- setup-depends: Cabal<4, base<5, liquidhaskell--library- exposed-modules: Data.ByteString- Data.ByteString.Char8- Data.ByteString.Unsafe- Data.ByteString.Internal- Data.ByteString.Lazy- Data.ByteString.Lazy.Internal- Data.ByteString.Short- Data.ByteString.Short.Internal-- Data.ByteString.Builder- Data.ByteString.Builder.Extra- Data.ByteString.Builder.Prim-- Data.ByteString.Builder.Internal- Data.ByteString.Builder.Prim.Internal- Data.ByteString.Lazy.Builder- Data.ByteString.Lazy.Builder.Extras- Data.ByteString.Lazy.Builder.ASCII-- -- FIXME: This is commented out as unfortunately it doesn't refine- -- correctly with modern versions of bytestring.- -- Data.ByteString.Lazy.Char8-- hs-source-dirs: src- build-depends: liquid-base < 5- , bytestring >= 0.10.12.1 && < 0.11- , liquidhaskell >= 0.9.0.2- default-language: Haskell2010- default-extensions: PackageImports- if impl(ghc >= 8.10)- ghc-options: -fplugin=LiquidHaskell+cabal-version: 1.24 +name: liquid-bytestring +version: 0.10.12.1 +x-revision: 1 +synopsis: Old specs for the bytestring package +description: Superseded by liquidhaskell >= 0.9.2. +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/ByteString.spec + src/Data/ByteString/Short.spec + src/Data/ByteString/Lazy.spec + src/Data/ByteString/Unsafe.spec + src/Data/ByteString/Char8.spec + src/Data/ByteString/Lazy/Char8.spec + +custom-setup + setup-depends: Cabal<4, base<5, liquidhaskell + +library + exposed-modules: Data.ByteString + Data.ByteString.Char8 + Data.ByteString.Unsafe + Data.ByteString.Internal + Data.ByteString.Lazy + Data.ByteString.Lazy.Internal + Data.ByteString.Short + Data.ByteString.Short.Internal + + Data.ByteString.Builder + Data.ByteString.Builder.Extra + Data.ByteString.Builder.Prim + + Data.ByteString.Builder.Internal + Data.ByteString.Builder.Prim.Internal + Data.ByteString.Lazy.Builder + Data.ByteString.Lazy.Builder.Extras + Data.ByteString.Lazy.Builder.ASCII + + -- FIXME: This is commented out as unfortunately it doesn't refine + -- correctly with modern versions of bytestring. + -- Data.ByteString.Lazy.Char8 + + hs-source-dirs: src + build-depends: liquid-base < 5 + , bytestring >= 0.10.12.1 && < 0.11 + , liquidhaskell >= 0.9.0.2 && < 0.9.2 + default-language: Haskell2010 + default-extensions: PackageImports + if impl(ghc >= 8.10) + ghc-options: -fplugin=LiquidHaskell