sbvPlugin 9.8.2 → 9.10.1

raw patch · 1 files changed

+4/−4 lines, 1 filesdep ~ghcdep ~sbv

Dependency ranges changed: ghc, sbv

Files

• sbvPlugin.cabal +4/−4

@@ -1,6 +1,6 @@ Cabal-Version     : 2.2 Name              : sbvPlugin-Version           : 9.8.2+Version           : 9.10.1 Category          : Formal methods, Theorem provers, Math, SMT, Symbolic Computation Synopsis          : Formally prove properties of Haskell programs using SBV/SMT Description       : GHC plugin for proving properties over Haskell functions using SMT solvers, based@@ -18,7 +18,7 @@ Build-Type        : Simple Extra-Source-Files: INSTALL, README.md, COPYRIGHT, CHANGES.md -Tested-With       : GHC==9.8.2+Tested-With       : GHC==9.10.1  source-repository head     type:       git@@ -34,8 +34,8 @@                   , Data.SBV.Plugin.Examples.MergeSort                   , Data.SBV.Plugin.Examples.MicroController   build-depends   : base >= 4.19 && < 5-                  , sbv      >= 10.7-                  , ghc      >= 9.8.2+                  , sbv      >= 10.10+                  , ghc      >= 9.10.1                   , ghc-prim                   , containers                   , mtl