homepage: http://nasa.gov
changelog-type: markdown
hash: 1acd233993578989feb7d9f894257bd74977f7167ae65f38e2a0670b901d5236
test-bench-deps:
  test-framework: -any
  base: -any
  ogma-extra: -any
  test-framework-quickcheck2: -any
  QuickCheck: -any
maintainer: ivan.perezdominguez@nasa.gov
synopsis: 'Ogma: Helper tool to interoperate between Copilot and other languages.'
changelog: |
  # Revision history for ogma-extra

  ## [1.0.6] - 2022-11-21

  * Version bump 1.0.6 (#64).
  * Update license in cabal file to OtherLicense (#62).

  ## [1.0.5] - 2022-09-21

  * Version bump 1.0.5 (#60).

  ## [1.0.4] - 2022-07-21

  * Version bump 1.0.4 (#53).

  ## [1.0.3] - 2022-05-21

  * Version bump 1.0.3 (#49).

  ## [1.0.2] - 2022-03-21

  * Version bump 1.0.2 (#43).

  ## [1.0.1] - 2022-01-21

  * Version bump 1.0.1 (#39).
  * Adjust indentation of ogma-extra:Data.ByteString.Extra.safeReadFile (#38).

  ## [1.0.0] - 2021-11-22

  * Initial release.
basic-deps:
  bytestring: -any
  Cabal: -any
  base: '>=4.11.0.0 && <5'
  filepath: -any
  directory: -any
all-versions:
- 1.0.6
author: Ivan Perez, Alwyn Goodloe
latest: 1.0.6
description-type: haddock
description: |-
  Ogma is a tool to facilitate the integration of safe runtime monitors into
  other systems. Ogma extends
  <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
  verification framework that generates hard real-time C99 code.

  This package implements internal extensions to existing libraries
  and modules that are used in several ogma packages and their
  testing facilities.
license-name: LicenseRef-OtherLicense

Update from Hackage at 2022-11-22T01:02:26Z
Update from Hackage at 2022-11-22T01:02:26Z
