bindings-yices 0.3.0.1 → 0.3.0.2

raw patch · 2 files changed

+5/−1 lines, 2 files

Files

bindings-yices.cabal +3/−1
changelog.md +2/−0

bindings-yices.cabal view

@@ -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.0.1+Version:             0.3.0.2  -- A short (one-line) description of the package. Synopsis:            Bindings to the Yices theorem prover@@ -41,6 +41,8 @@  -- Constraint on the version of Cabal needed to build this package. Cabal-version:       >=1.6++Extra-Source-Files: changelog.md                       source-repository head   type:     git

+ changelog.md view

@@ -0,0 +1,2 @@+	## 0.3 -- 22th August 2015+	* Extend the API with missing for add, sub and mul binary operators.