ui: allow latest text-zipper, vty
This commit is contained in:
parent
8fdea5d11a
commit
c8982355b0
@ -75,7 +75,7 @@ executable hledger-ui
|
|||||||
, safe >= 0.2
|
, safe >= 0.2
|
||||||
, split >= 0.1 && < 0.3
|
, split >= 0.1 && < 0.3
|
||||||
, text >= 1.2 && < 1.3
|
, text >= 1.2 && < 1.3
|
||||||
, text-zipper >= 0.4 && < 0.5
|
, text-zipper >= 0.4 && < 0.9
|
||||||
, transformers
|
, transformers
|
||||||
, vector
|
, vector
|
||||||
if os(windows)
|
if os(windows)
|
||||||
@ -83,7 +83,7 @@ executable hledger-ui
|
|||||||
else
|
else
|
||||||
build-depends:
|
build-depends:
|
||||||
brick >= 0.7 && < 0.9
|
brick >= 0.7 && < 0.9
|
||||||
, vty >= 5.5 && < 5.8
|
, vty >= 5.5 && < 5.12
|
||||||
if flag(threaded)
|
if flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
if flag(oldtime)
|
if flag(oldtime)
|
||||||
|
|||||||
@ -66,7 +66,7 @@ executables:
|
|||||||
- safe >= 0.2
|
- safe >= 0.2
|
||||||
- split >= 0.1 && < 0.3
|
- split >= 0.1 && < 0.3
|
||||||
- text >= 1.2 && < 1.3
|
- text >= 1.2 && < 1.3
|
||||||
- text-zipper >= 0.4 && < 0.5
|
- text-zipper >= 0.4 && < 0.9
|
||||||
- transformers
|
- transformers
|
||||||
- vector
|
- vector
|
||||||
when:
|
when:
|
||||||
@ -86,7 +86,7 @@ executables:
|
|||||||
else:
|
else:
|
||||||
dependencies:
|
dependencies:
|
||||||
- brick >= 0.7 && < 0.9
|
- brick >= 0.7 && < 0.9
|
||||||
- vty >= 5.5 && < 5.8
|
- vty >= 5.5 && < 5.12
|
||||||
- condition: flag(threaded)
|
- condition: flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
- condition: flag(oldtime)
|
- condition: flag(oldtime)
|
||||||
|
|||||||
@ -13,8 +13,8 @@ packages:
|
|||||||
extra-deps:
|
extra-deps:
|
||||||
# for hledger-ui:
|
# for hledger-ui:
|
||||||
- brick-0.8
|
- brick-0.8
|
||||||
- text-zipper-0.4
|
- text-zipper-0.8.1
|
||||||
- vty-5.7.1
|
- vty-5.11.3
|
||||||
# for hledger-web:
|
# for hledger-web:
|
||||||
- wai-handler-launch-3.0.2.1
|
- wai-handler-launch-3.0.2.1
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user