homepage: https://github.com/AntonXue/SSTG#readme
changelog-type: ''
hash: 4d56fda1dd4cb03e5bace8fafc6d5640c8b6787ddc78088ebf0e27abab4a21d5
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'
author: Anton Xue
latest: '0.1.0.1'
description-type: markdown
description: ! '# SSTG

'
license-name: BSD3

Update from Hackage at 2017-07-23T09:41:46Z
Update from Hackage at 2017-07-23T09:41:46Z
