bindings-yices 0.3 → 0.3.0.1

raw patch · 1 files changed

+6/−2 lines, 1 files

Files

• bindings-yices.cabal +6/−2

@@ -7,7 +7,7 @@ -- The package version. See the Haskell package versioning policy -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for -- standards guiding when and how versions should be incremented.-Version:             0.3+Version:             0.3.0.1  -- A short (one-line) description of the package. Synopsis:            Bindings to the Yices theorem prover@@ -40,8 +40,12 @@ -- Extra-source-files:    -- Constraint on the version of Cabal needed to build this package.-Cabal-version:       >=1.2+Cabal-version:       >=1.6 +source-repository head+  type:     git+  location: git://github.com/pepeiborra/bindings-yices+                      Flag yices-dynamic   default: True