holmes 0.1.0.0 → 0.1.0.1

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~base

Dependency ranges changed: base

Files

• holmes.cabal +2/−2

@@ -11,7 +11,7 @@ name:               holmes description:        A reference library for constraint-solving with propagators and CDCL. synopsis:           Tools and combinators for solving constraint problems.-version:            0.1.0.0+version:            0.1.0.1  library   exposed-modules: Control.Monad.Cell.Class@@ -37,7 +37,7 @@                , Data.JoinSemilattice.Class.Zipping                , Data.CDCL -  build-depends: base >=4.13 && < 4.14+  build-depends: base >= 4.12 && < 4.14                , hashable >= 1.3 && < 1.4                , hedgehog >= 1.0 && < 1.1                , logict >= 0.7 && < 0.8