liquid-vector 0.12.1.2 → 0.12.3.1

raw patch · 1 files changed

+7/−6 lines, 1 filesdep ~liquid-basedep ~liquidhaskelldep ~vectornew-uploader

Dependency ranges changed: liquid-base, liquidhaskell, vector

Files

• liquid-vector.cabal +7/−6

@@ -1,6 +1,6 @@ cabal-version:      1.24 name:               liquid-vector-version:            0.12.1.2+version:            0.12.3.1 synopsis:           LiquidHaskell specs for the vector package description:        LiquidHaskell specs for the vector package. license:            BSD3@@ -15,7 +15,7 @@ data-files:           src/Data/Vector.spec  custom-setup-  setup-depends: Cabal, base, liquidhaskell+  setup-depends: Cabal<4, base<5, liquidhaskell  library   exposed-modules:    Data.Vector.Internal.Check@@ -45,10 +45,11 @@                       Data.Vector.Mutable                       Data.Vector   hs-source-dirs:     src-  build-depends:      liquid-base          < 4.15-                    , vector               >= 0.12.1.2 && < 0.13-                    , liquidhaskell        >= 0.8.10.1+  build-depends:      liquid-base          < 4.16+                    , vector               >= 0.12.3.1 && < 0.13+                    , liquidhaskell        >= 0.9.0.2   default-language:   Haskell2010   default-extensions: PackageImports   if impl(ghc >= 8.10)-    ghc-options: -fplugin=LiquidHaskell+    ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check+