homepage: https://www.github.com/jwiegley/simple-ltl
changelog-type: ''
hash: bff4a99160d4e4cd28a7fdfeec41ebe1367a0e7d20158257721bcae8a2613764
test-bench-deps:
  base: ! '>=4.9 && <5.0'
  simple-ltl: -any
  tasty-hunit: -any
  tasty: -any
maintainer: johnw@newartisans.com
synopsis: A simple LTL checker
changelog: ''
basic-deps:
  base: ! '>=4.9 && <5.0'
all-versions:
- 0.1.0.0
author: John Wiegley
latest: 0.1.0.0
description-type: haddock
description: ''
license-name: BSD-3-Clause

homepage: https://www.github.com/jwiegley/simple-ltl
changelog-type: ''
hash: 6267a41d5ba568fe727f6a26919c7ee6fe2e2c4ead11ab91d158b3702f6433bf
test-bench-deps:
  base: ! '>=4.9 && <5.0'
  criterion: -any
  simple-ltl: -any
  tasty-hunit: -any
  tasty: -any
maintainer: johnw@newartisans.com
synopsis: A simple LTL checker
changelog: ''
basic-deps:
  base: ! '>=4.9 && <5.0'
  deepseq: -any
all-versions:
- 0.1.0.0
- 1.0.0
author: John Wiegley
latest: 1.0.0
description-type: haddock
description: ''
license-name: BSD-3-Clause

Update from Hackage at 2019-04-21T07:51:04Z
Update from Hackage at 2019-04-21T07:51:04Z
