@@ -4,7 +4,7 @@ cabal-version: 2.2
4
4
--
5
5
-- see: https://github.com/sol/hpack
6
6
--
7
- -- hash: 80d27d36f0343e3b6779aa37ed5fccc747fd7c1b66c7b9bd2fb27c1f6a2d6403
7
+ -- hash: 34d9341e7958131e549196190c57209e04ec8bd3716ff5aa25999e7527afba62
8
8
9
9
name : kore
10
10
version : 0.41.0.0
@@ -468,7 +468,7 @@ library
468
468
, transformers >= 0.4
469
469
, unordered-containers >= 0.2
470
470
, vector >= 0.12
471
- , witherable >= 0.3
471
+ , witherable >= 0.3 && < 0.4
472
472
, zlib >= 0.6
473
473
if !flag(release)
474
474
ghc-options : -fno-specialise
@@ -544,7 +544,7 @@ executable kore-exec
544
544
, transformers >= 0.4
545
545
, unordered-containers >= 0.2
546
546
, vector >= 0.12
547
- , witherable >= 0.3
547
+ , witherable >= 0.3 && < 0.4
548
548
, zlib >= 0.6
549
549
if !flag(release)
550
550
ghc-options : -fno-specialise
@@ -624,7 +624,7 @@ executable kore-format
624
624
, transformers >= 0.4
625
625
, unordered-containers >= 0.2
626
626
, vector >= 0.12
627
- , witherable >= 0.3
627
+ , witherable >= 0.3 && < 0.4
628
628
, zlib >= 0.6
629
629
if !flag(release)
630
630
ghc-options : -fno-specialise
@@ -704,7 +704,7 @@ executable kore-parser
704
704
, transformers >= 0.4
705
705
, unordered-containers >= 0.2
706
706
, vector >= 0.12
707
- , witherable >= 0.3
707
+ , witherable >= 0.3 && < 0.4
708
708
, zlib >= 0.6
709
709
if !flag(release)
710
710
ghc-options : -fno-specialise
@@ -782,7 +782,7 @@ executable kore-prof
782
782
, transformers >= 0.4
783
783
, unordered-containers >= 0.2
784
784
, vector >= 0.12
785
- , witherable >= 0.3
785
+ , witherable >= 0.3 && < 0.4
786
786
, zlib >= 0.6
787
787
if !flag(release)
788
788
ghc-options : -fno-specialise
@@ -858,7 +858,7 @@ executable kore-repl
858
858
, transformers >= 0.4
859
859
, unordered-containers >= 0.2
860
860
, vector >= 0.12
861
- , witherable >= 0.3
861
+ , witherable >= 0.3 && < 0.4
862
862
, zlib >= 0.6
863
863
if !flag(release)
864
864
ghc-options : -fno-specialise
@@ -1145,7 +1145,7 @@ test-suite kore-test
1145
1145
, transformers >= 0.4
1146
1146
, unordered-containers >= 0.2
1147
1147
, vector >= 0.12
1148
- , witherable >= 0.3
1148
+ , witherable >= 0.3 && < 0.4
1149
1149
, zlib >= 0.6
1150
1150
if !flag(release)
1151
1151
ghc-options : -fno-specialise
0 commit comments