From a7a0fc9f914ababb263443c625071e06f74f8940 Mon Sep 17 00:00:00 2001 From: Nick Smallbone Date: Sun, 3 Sep 2017 16:52:09 +0100 Subject: [PATCH] Bump jukebox version. --- stack.yaml | 2 +- twee.cabal | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/stack.yaml b/stack.yaml index 6763b80..170cc26 100644 --- a/stack.yaml +++ b/stack.yaml @@ -4,7 +4,7 @@ packages: - '.' extra-deps: -- jukebox-0.2.20 +- jukebox-0.3 - minisat-0.1.2 flags: {} diff --git a/twee.cabal b/twee.cabal index 5184d20..0e99c30 100644 --- a/twee.cabal +++ b/twee.cabal @@ -96,7 +96,7 @@ executable twee containers, pretty, split, - jukebox >= 0.2.20 + jukebox >= 0.3 ghc-options: -W -fno-warn-incomplete-patterns -O2 -fmax-worker-args=100 if flag(llvm)