homepage: https://www.github.com/jwiegley/simple-ltl
changelog-type: ''
hash: 43de5b99272332b68a7dc5b96682f6f14e27f00aa9505a53b9c7304c164326dd
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
- 2.0.0
author: John Wiegley
latest: 2.0.0
description-type: haddock
description: ''
license-name: BSD-3-Clause

homepage: https://www.github.com/jwiegley/simple-ltl
changelog-type: ''
hash: 4ee83b0de7b0606c54fdb8eb8dc62db387779e67175f8e7d4c55dec6ca5fea4c
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
- 2.0.0
- 2.1.0
author: John Wiegley
latest: 2.1.0
description-type: haddock
description: ''
license-name: BSD-3-Clause

Update from Hackage at 2019-04-22T05:26:20Z
Update from Hackage at 2019-04-22T05:26:20Z
