Package: libghc-ogma-extra-dev
Source: haskell-ogma-extra
Version: 1.15.0-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 209
Depends: libghc-aeson-dev-2.2.3.0-8cd5f, libghc-base-dev-4.20.2.0-08385, libghc-bytestring-dev-0.12.2.0-ea2c7, libghc-cabal-dev-3.12.1.0-77113, libghc-directory-dev-1.3.8.5-b904d, libghc-filepath-dev-1.5.4.0-2f955, libghc-microstache-dev-1.0.3-075a9, libghc-text-dev-2.1.3-528f6, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Provides: libghc-ogma-extra-dev-1.15.0-60af6
Section: haskell
Priority: optional
Homepage: https://github.com/nasa/ogma
Description: Helper tool to interoperate between Copilot and other languages
 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.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: ogma-extra-1.15.0-FNHVbxawdmZS1cQIUzU2B
