homepage: ''
changelog-type: ''
hash: 3c7e2ea13970a6f1abba18f2f02789b6b9be6a43817bda4d621d18d2c489e835
test-bench-deps: {}
maintainer: pepeiborra@gmail.com
synopsis: Bindings to the Yices theorem prover
changelog: ''
basic-deps:
  base: ! '>3 && <5'
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.3.0.1'
author: Jose Iborra
latest: '0.3.0.1'
description-type: haddock
description: ''
license-name: PublicDomain

homepage: ''
changelog-type: markdown
hash: cf2b1531165459d81a3f44393f36cc292d95b5288427c1138a839268dee0c076
test-bench-deps: {}
maintainer: pepeiborra@gmail.com
synopsis: Bindings to the Yices theorem prover
changelog: ! "\t## 0.3 -- 22th August 2015\n\t* Extend the API with missing for add,
  sub and mul binary operators.\n"
basic-deps:
  base: ! '>3 && <5'
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.3.0.1'
- '0.3.0.2'
author: Jose Iborra
latest: '0.3.0.2'
description-type: haddock
description: ''
license-name: PublicDomain

Update from Hackage at 2015-08-22T13:18:14+0000
Update from Hackage at 2015-08-22T13:18:14+0000
