puresat 0.1 → 0.1.0.1

raw patch · 1 files changed

+4/−7 lines, 1 filesdep −optparse-applicativedep ~QuickCheckdep ~basedep ~containers

Dependencies removed: optparse-applicative

Dependency ranges changed: QuickCheck, base, containers, primitive

Files

• puresat.cabal +4/−7

@@ -1,6 +1,6 @@ cabal-version:      3.4 name:               puresat-version:            0.1+version:            0.1.0.1 synopsis:           Pure Haskell SAT-solver category:           Data description:@@ -16,7 +16,7 @@ maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi> copyright:          (c) 2024 Oleg Grenrus build-type:         Simple-tested-with:        GHC ==9.6.6 || ==9.8.2 || ==9.10.1+tested-with:        GHC ==9.6.6 || ==9.8.2 || ==9.10.3 || ==9.12.4 || ==9.14.1 extra-doc-files:    CHANGELOG.md  -- cabal-fmt: glob-files dimacs/**/*.cnf@@ -318,8 +318,7 @@     PureSAT.Vec    build-depends:-    , base        >=4.18.2.1 && <4.21-    , containers  >=0.6.7    && <0.8+    , base        >=4.18.2.1 && <4.23     , primitive   ^>=0.9.0.0  library dimacs@@ -343,7 +342,6 @@   main-is:        puresat.hs   build-depends:     , base-    , optparse-applicative  ^>=0.18.1.0     , puresat:dimacs     , puresat:internal @@ -355,7 +353,7 @@   build-depends:     , base     , puresat-    , QuickCheck        ^>=2.15.0.1+    , QuickCheck        ^>=2.15.0.1 || ^>=2.18.0.0     , tasty             ^>=1.5     , tasty-quickcheck  ^>=0.11 @@ -366,7 +364,6 @@   main-is:        puresat-small.hs   build-depends:     , base-    , primitive     , puresat  test-suite puresat-dimacs