Package: libghc-ogma-core-dev
Source: haskell-ogma-core
Version: 1.12.0-1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 3589
Depends: libghc-aeson-dev-2.2.3.0-cb63e, libghc-base-dev-4.20.2.0-47ff0, libghc-bytestring-dev-0.12.2.0-d528c, libghc-containers-dev-0.7-0c6d4, libghc-directory-dev-1.3.8.5-1f094, libghc-filepath-dev-1.5.4.0-29dd7, libghc-graphviz-dev-2999.20.2.1-4ee8e, libghc-megaparsec-dev-9.7.0-0079c, libghc-mtl-dev-2.3.1-edf82, libghc-ogma-extra-dev-1.12.0-097a1, libghc-ogma-language-c-dev-1.12.0-a8c62, libghc-ogma-language-copilot-dev-1.12.0-18cba, libghc-ogma-language-csv-dev-1.12.0-9b1e5, libghc-ogma-language-jsonspec-dev-1.12.0-9ee50, libghc-ogma-language-lustre-dev-1.12.0-7ffc9, libghc-ogma-language-smv-dev-1.12.0-b6eac, libghc-ogma-language-xlsx-dev-1.12.0-e75f9, libghc-ogma-language-xmlspec-dev-1.12.0-92033, libghc-ogma-spec-dev-1.12.0-b4666, libghc-process-dev-1.6.26.1-92ff0, libghc-text-dev-2.1.3-8ae9a, libbz2-1.0, libc6 (>= 2.14), libexpat1 (>= 2.0.1), libgmp10 (>= 2:6.3.0+dfsg), libzstd1 (>= 1.5.5), zlib1g (>= 1:1.1.4)
Provides: libghc-ogma-core-dev-1.12.0-93b33
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 the internal commands of ogma.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: ogma-core-1.12.0-2Qe6AFCR00D8NtrO1nlmfy
