homepage: http://ivorylang.org
changelog-type: ''
hash: 0fa37aeb8c009a31030e0fe7fbb278907c41909c0f06d74b9942adbf58fc446f
test-bench-deps: {}
maintainer: trevor@galois.com, leepike@galois.com
synopsis: Safe embedded C programming.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  text: -any
  filepath: -any
  dlist: ! '>=0.5'
  monadLib: ! '>=3.7'
  array: -any
  containers: ! '>=0.5'
  base-compat: -any
  th-lift: ! '>=0.5.5'
  pretty: ! '>=1.1'
  template-haskell: ! '>=2.8'
all-versions:
- '0.1.0.0'
- '0.1.0.3'
- '0.1.0.4'
- '0.1.0.5'
author: Galois, Inc.
latest: '0.1.0.5'
description-type: haddock
description: Using GHC type-system extensions, enforces safe low-level programming,
  while maintaining expressiveness.
license-name: BSD3

homepage: http://ivorylang.org
changelog-type: ''
hash: ee5cc42275279d67f2f7c8335b1f2fd399298a57f3e6a2bb5756d10a77c24980
test-bench-deps: {}
maintainer: trevor@galois.com, leepike@galois.com
synopsis: Safe embedded C programming.
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  text: -any
  filepath: -any
  dlist: ! '>=0.5'
  monadLib: ! '>=3.7'
  array: -any
  containers: ! '>=0.5'
  base-compat: -any
  th-lift: ! '>=0.5.5'
  pretty: ! '>=1.1'
  template-haskell: ! '>=2.8'
all-versions:
- '0.1.0.0'
- '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: Using GHC type-system extensions, enforces safe low-level programming,
  while maintaining expressiveness.
license-name: BSD3

Update from Hackage at 2017-04-29T00:45:46Z
Update from Hackage at 2017-04-29T00:45:46Z
