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

Update from Hackage at 2019-04-19T18:05:36Z
Update from Hackage at 2019-04-19T18:05:36Z
