homepage: ''
changelog-type: text
hash: 96c572c68dd5c94eb2021e1f3be6e86ea951f866c00d1e7e2697a711d5b2b1ae
test-bench-deps: {}
maintainer: iavor.diatchki@gmail.com
synopsis: A library for working with the SMTLIB format.
changelog: ! '1.0:    First release.

'
basic-deps:
  base: <5
  pretty: -any
all-versions:
- '1.0'
- '1.0.1'
- '1.0.2'
- '1.0.3'
- '1.0.4'
- '1.0.5'
- '1.0.6'
- '1.0.7'
author: Iavor S. Diatchki
latest: '1.0.7'
description-type: haddock
description: A library for working with the SMTLIB format.
license-name: BSD3

homepage: ''
changelog-type: text
hash: 7a1d7c3e0e90bddb41538fa724f410e2a6915793ab14df4dfc4074c9d09d448e
test-bench-deps: {}
maintainer: iavor.diatchki@gmail.com
synopsis: A library for working with the SMTLIB format.
changelog: ! '1.0:    First release.

'
basic-deps:
  base: ! '>=4.5 && <5'
  pretty: -any
all-versions:
- '1.0'
- '1.0.1'
- '1.0.2'
- '1.0.3'
- '1.0.4'
- '1.0.5'
- '1.0.6'
- '1.0.7'
author: Iavor S. Diatchki
latest: '1.0.7'
description-type: haddock
description: A library for working with the SMTLIB format.
license-name: BSD3

Update from Hackage at 2015-08-28T08:18:23+0000
Update from Hackage at 2015-08-28T08:18:23+0000
