bump sbv dependency

LeventErkok · Feb 21, 2024 · 0f91c4e · 0f91c4e
1 parent 3a3cd8f
commit 0f91c4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crackNum.cabal b/crackNum.cabal
@@ -26,7 +26,7 @@ Executable crackNum
    default-language: Haskell2010
    hs-source-dirs  : src
    ghc-options     : -Wall -Wunused-packages
-   build-depends   : base >= 4.11 && < 5, libBF, sbv >= 10.4
+   build-depends   : base >= 4.11 && < 5, libBF, sbv >= 10.5
                    , tasty, tasty-golden, filepath, directory, process
    other-modules   : Paths_crackNum, CrackNum.TestSuite
    autogen-modules : Paths_crackNum