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

'
license-name: BSD3

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

Update from Hackage at 2017-07-24T23:23:28Z
Update from Hackage at 2017-07-24T23:23:28Z
