ersatz 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+5/−5 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +2/−2
• ersatz.cabal +3/−3

@@ -1,6 +1,6 @@-0.1.0.1+0.1.0.2 ------* Added links to the source repository and issue tracker to the cabal project+* Added correct links to the source repository and issue tracker to the cabal project  0.1 ---

@@ -1,12 +1,12 @@ name:           ersatz-version:        0.1.0.1+version:        0.1.0.2 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett, Johan Kiviniemi maintainer:     Edward A. Kmett <ekmett@gmail.com> stability:      experimental-homepage:       http://github.com/ersatz-bug-reports:    http://github.com/ersatz/issues+homepage:       http://github.com/ekmett/ersatz+bug-reports:    http://github.com/ekmett/ersatz/issues category:       Logic, Algorithms synopsis:       A monad for expressing SAT or QSAT problems using observable sharing. description:    A monad for expressing SAT or QSAT problems using observable sharing.