homepage: ''
changelog-type: ''
hash: c16c3da947cc9929941477f69b8e352236ce68b02fbbbfedcd9a03598fbcc099
test-bench-deps: {}
maintainer: guillaumh@gmail.com
synopsis: Tools for hybrid logics related programs
changelog: ''
basic-deps:
  base: ! '>=4.8 && <5'
  uniplate: ! '>=1.6.12 && <1.7'
  array: <1
  containers: <1
  mtl: ==2.*
  random: ==1.*
  pretty: ==1.*
all-versions:
- 1.3.0
- 1.3.1
- 1.3.2
- 1.3.3
- 1.4.0
- 1.5.0
- 1.5.1
- 1.5.2
- 1.5.3
author: Daniel Gorin
latest: 1.5.3
description-type: haddock
description: ''
license-name: LicenseRef-GPL

homepage: ''
changelog-type: ''
hash: f9ad638d9602ab18e7c1d3f07fb9bcc9ccf3a4ec12dfc48872fc2f27d84b9acb
test-bench-deps: {}
maintainer: guillaumh@gmail.com
synopsis: Tools for hybrid logics related programs
changelog: ''
basic-deps:
  base: ! '>=4.10 && <5'
  uniplate: ! '>=1.6.12'
  array: -any
  containers: -any
  mtl: ! '>=2'
  random: ! '>=1'
  pretty: ! '>=1'
all-versions:
- 1.3.0
- 1.3.1
- 1.3.2
- 1.3.3
- 1.4.0
- 1.5.0
- 1.5.1
- 1.5.2
- 1.5.3
- 1.5.4
author: Daniel Gorin
latest: 1.5.4
description-type: haddock
description: ''
license-name: LicenseRef-GPL

Update from Hackage at 2019-04-25T20:53:33Z
Update from Hackage at 2019-04-25T20:53:33Z
