Apply upper version bound on witherable

ttuegel · ttuegel · commit 5d02ad9a516a · 2021-03-11T15:47:13.000-06:00
diff --git a/kore/kore.cabal b/kore/kore.cabal
@@ -468,7 +468,8 @@ library
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    -- witherable >=0.4 deprecates Data.Witherable
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
