homepage: http://ivorylang.org
changelog-type: ''
hash: f64e49dfa4b60729864f1a33acfb53df1465c19b200a92786537d4cf6f96c1d6
test-bench-deps: {}
maintainer: leepike@galois.com
synopsis: Ivory compiler optimizations.
changelog: ''
basic-deps:
  data-reify: ! '>=0.6'
  base: ! '>=4.7 && <5'
  ivory: ! '>=0.1.0.5'
  filepath: -any
  dlist: ! '>=0.5'
  monadLib: ! '>=3.7'
  containers: -any
  base-compat: -any
  fgl: ! '>=5.4.2.4'
  pretty: -any
all-versions:
- '0.1.0.0'
- '0.1.0.1'
- '0.1.0.3'
- '0.1.0.4'
- '0.1.0.5'
author: Galois, Inc.
latest: '0.1.0.5'
description-type: haddock
description: Ivory compiler optimizations as well as compiler insertions.  Primarily
  used by backends.
license-name: BSD3

homepage: http://ivorylang.org
changelog-type: ''
hash: af13e018c7c29b8835f1f407b5cdad09b8ebd76260681f4bf3cb63e888b9a02f
test-bench-deps: {}
maintainer: leepike@galois.com
synopsis: Ivory compiler optimizations.
changelog: ''
basic-deps:
  data-reify: ! '>=0.6'
  base: ! '>=4.7 && <5'
  ivory: -any
  filepath: -any
  dlist: ! '>=0.5'
  monadLib: ! '>=3.7'
  containers: -any
  base-compat: -any
  fgl: ! '>=5.4.2.4'
  pretty: -any
all-versions:
- '0.1.0.0'
- '0.1.0.1'
- '0.1.0.3'
- '0.1.0.4'
- '0.1.0.5'
- '0.1.0.6'
author: Galois, Inc.
latest: '0.1.0.6'
description-type: haddock
description: Ivory compiler optimizations as well as compiler insertions.  Primarily
  used by backends.
license-name: BSD3

Update from Hackage at 2018-07-18T15:52:37Z
Update from Hackage at 2018-07-18T15:52:37Z
