liquid-platform 0.8.10.1 → 0.8.10.2
raw patch · 1 files changed
+5/−5 lines, 1 filesdep ~liquid-basedep ~liquid-preludedep ~liquidhaskell
Dependency ranges changed: liquid-base, liquid-prelude, liquidhaskell
Files
- liquid-platform.cabal +5/−5
liquid-platform.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.22 name: liquid-platform-version: 0.8.10.1+version: 0.8.10.2 synopsis: A battery-included platform for LiquidHaskell description: A battery-included platform for LiquidHaskell. license: BSD3@@ -25,12 +25,12 @@ buildable: False else buildable: True- build-depends: liquid-base >= 4.14.0.0 && < 5+ build-depends: liquid-base >= 4.14.1.0 && < 5 , liquid-containers >= 0.6.2.1 && < 0.7- , liquid-prelude >= 0.8.10.1+ , liquid-prelude >= 0.8.10.2 , liquid-vector >= 0.12.1.2 && < 0.13 , liquid-bytestring >= 0.10.0.0 && < 0.11- , liquidhaskell >= 0.8.10.1+ , liquidhaskell >= 0.8.10.2 , process >= 1.6.0.0 && < 1.7 , cmdargs >= 0.10 && < 0.11 @@ -53,7 +53,7 @@ executable target main-is: src/Target.hs- build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell >= 0.8.10.1+ build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell >= 0.8.10.2 default-language: Haskell2010 buildable: False