picosat 0.1.2 → 0.1.3

raw patch · 1 files changed

+12/−3 lines, 1 filesdep ~base

Dependency ranges changed: base

Files

• picosat.cabal +12/−3

@@ -1,5 +1,5 @@ name:                picosat-version:             0.1.2+version:             0.1.3 synopsis:            Bindings to the PicoSAT solver homepage:            https://github.com/sdiehl/haskell-picosat license:             MIT@@ -10,7 +10,14 @@ Category:            Logic build-type:          Simple cabal-version:       >=1.10-tested-with:         GHC == 7.6.1, GHC == 7.6.3, GHC == 7.8.3+tested-with:         GHC == 7.6.1+                   , GHC == 7.6.2+                   , GHC == 7.6.3+                   , GHC == 7.8.1+                   , GHC == 7.8.2+                   , GHC == 7.8.3+                   , GHC == 7.8.4+                   , GHC == 7.10.1 extra-source-files:     cbits/picosat.h Bug-Reports:         https://github.com/sdiehl/haskell-picosat/issues@@ -28,7 +35,9 @@    ghc-options:        -Wall -O2 -fwarn-tabs   cc-options:         -funroll-loops-  build-depends:      base >=4.6 && <4.8+  if os(windows)+    cc-options:         -DNGETRUSAGE+  build-depends:      base >=4.6 && <4.9   default-language:   Haskell2010   Hs-source-dirs:     src   Include-dirs:       cbits