homepage: ''
changelog-type: ''
hash: b52951def249fd77b7ff661e0883dbc67926f819bfdf12ad0964eb4d2857b180
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'
author: Jose Iborra
latest: '0.3'
description-type: haddock
description: ''
license-name: PublicDomain

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

Update from Hackage at 2015-08-22T12:38:17+0000
Update from Hackage at 2015-08-22T12:38:17+0000
