mirror of
https://github.com/simonmichael/hledger.git
synced 2024-09-19 18:29:36 +03:00
ui: allow brick 0.15, vty 5.14
This commit is contained in:
parent
00e2a8a327
commit
91c524b600
@ -85,8 +85,8 @@ executable hledger-ui
|
|||||||
buildable: False
|
buildable: False
|
||||||
else
|
else
|
||||||
build-depends:
|
build-depends:
|
||||||
brick >= 0.12 && < 0.15
|
brick >= 0.12 && < 0.16
|
||||||
, vty >= 5.5 && < 5.14
|
, vty >= 5.5 && < 5.15
|
||||||
if flag(threaded)
|
if flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
if flag(oldtime)
|
if flag(oldtime)
|
||||||
|
@ -88,8 +88,8 @@ executables:
|
|||||||
buildable: false
|
buildable: false
|
||||||
else:
|
else:
|
||||||
dependencies:
|
dependencies:
|
||||||
- brick >= 0.12 && < 0.15
|
- brick >= 0.12 && < 0.16
|
||||||
- vty >= 5.5 && < 5.14
|
- vty >= 5.5 && < 5.15
|
||||||
- condition: flag(threaded)
|
- condition: flag(threaded)
|
||||||
ghc-options: -threaded
|
ghc-options: -threaded
|
||||||
- condition: flag(oldtime)
|
- condition: flag(oldtime)
|
||||||
|
@ -12,9 +12,9 @@ packages:
|
|||||||
|
|
||||||
extra-deps:
|
extra-deps:
|
||||||
# for hledger-ui:
|
# for hledger-ui:
|
||||||
- brick-0.13
|
- brick-0.15
|
||||||
|
- vty-5.14
|
||||||
- text-zipper-0.8.1
|
- text-zipper-0.8.1
|
||||||
- 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