mirror of
https://github.com/simonmichael/hledger.git
synced 2024-09-19 18:29:36 +03:00
ui: allow vty 5.13 (and use it in stack.yaml)
This commit is contained in:
parent
0dadeffcbc
commit
283cda9303
@ -83,7 +83,7 @@ executable hledger-ui
|
|||||||
else
|
else
|
||||||
build-depends:
|
build-depends:
|
||||||
brick >= 0.12 && < 0.15
|
brick >= 0.12 && < 0.15
|
||||||
, vty >= 5.5 && < 5.13
|
, vty >= 5.5 && < 5.14
|
||||||
if flag(threaded)
|
if flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
if flag(oldtime)
|
if flag(oldtime)
|
||||||
|
@ -86,7 +86,7 @@ executables:
|
|||||||
else:
|
else:
|
||||||
dependencies:
|
dependencies:
|
||||||
- brick >= 0.12 && < 0.15
|
- brick >= 0.12 && < 0.15
|
||||||
- vty >= 5.5 && < 5.13
|
- vty >= 5.5 && < 5.14
|
||||||
- condition: flag(threaded)
|
- condition: flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
- condition: flag(oldtime)
|
- condition: flag(oldtime)
|
||||||
|
@ -14,7 +14,7 @@ extra-deps:
|
|||||||
# for hledger-ui:
|
# for hledger-ui:
|
||||||
- brick-0.13
|
- brick-0.13
|
||||||
- text-zipper-0.8.1
|
- text-zipper-0.8.1
|
||||||
- vty-5.11.3
|
- vty-5.13
|
||||||
# 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