homepage: https://github.com/AntonXue/SSTG#readme
changelog-type: ''
hash: 5642ecdf1d794b49508811b59c18ef44e18a2d2a119833d0052e905723215bbe
test-bench-deps:
  base: -any
  SSTG: -any
  containers: ! '>=0.5 && <0.6'
maintainer: anton.xue@yale.edu
synopsis: STG Symbolic Execution
changelog: ''
basic-deps:
  ghc: -any
  base: ! '>=4.7 && <5'
  SSTG: -any
  containers: ==0.5.*
  ghc-paths: -any
all-versions:
- '0.1.0.1'
- '0.1.0.2'
- '0.1.0.3'
author: Anton Xue
latest: '0.1.0.3'
description-type: markdown
description: ! '# SSTG

'
license-name: BSD3

homepage: https://github.com/AntonXue/SSTG#readme
changelog-type: ''
hash: b50824a67bd131eff5f00b1fc134f6e4312dad25953e8f38dd7ca67d35fd6223
test-bench-deps:
  base: -any
  SSTG: -any
  containers: ! '>=0.5 && <0.6'
maintainer: anton.xue@yale.edu
synopsis: STG Symbolic Execution
changelog: ''
basic-deps:
  ghc: -any
  base: ! '>=4.7 && <5'
  SSTG: -any
  containers: ==0.5.*
  ghc-paths: -any
all-versions:
- '0.1.0.1'
- '0.1.0.2'
- '0.1.0.3'
- '0.1.0.4'
author: Anton Xue
latest: '0.1.0.4'
description-type: markdown
description: ! '# SSTG

'
license-name: BSD3

Update from Hackage at 2017-07-25T22:34:32Z
Update from Hackage at 2017-07-25T22:34:32Z
