homepage: http://ivorylang.org
changelog-type: ''
hash: 6f85429ff3122a4ec3e1b5c7f5effb6d4d8e97a8d854c72e9ca728f6c12fc656
test-bench-deps: {}
maintainer: jamesjb@galois.com, leepike@galois.com
synopsis: Ivory hardware model (STM32F4).
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  ivory-artifact: -any
  ivory: -any
  filepath: -any
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: Hardware model for Ivory.  Currently, the STM32F4 is supported; others
  may be added.
license-name: BSD3

homepage: http://ivorylang.org
changelog-type: ''
hash: b184139af2c31b65a7f7f7610fe949a1f4a26b8ab63955914893f69d76cdb5fc
test-bench-deps: {}
maintainer: jamesjb@galois.com, leepike@galois.com
synopsis: Ivory hardware model (STM32F4).
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  ivory-artifact: -any
  ivory: -any
  filepath: -any
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: Hardware model for Ivory.  Currently, the STM32F4 is supported; others
  may be added.
license-name: BSD3

Update from Hackage at 2018-07-17T17:44:48Z
Update from Hackage at 2018-07-17T17:44:48Z
