Package: libghc-ogma-core-prof
Source: haskell-ogma-core
Version: 1.14.0-2
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: 8389
Depends: libghc-aeson-prof-2.2.3.0-8cd5f, libghc-base-prof-4.20.2.0-08385, libghc-bytestring-prof-0.12.2.0-ea2c7, libghc-containers-prof-0.7-1229a, libghc-copilot-core-prof-4.7.1-5cec3, libghc-copilot-language-prof-4.7.1-189d1, libghc-copilot-theorem-prof-4.7.1-2735e, libghc-directory-prof-1.3.8.5-b904d, libghc-filepath-prof-1.5.4.0-2f955, libghc-graphviz-prof-2999.20.2.1-136f7, libghc-hint-prof-0.9.0.8-0bd0d, libghc-megaparsec-prof-9.7.0-898bd, libghc-mtl-prof-2.3.1-edf82, libghc-ogma-core-dev (= 1.14.0-2), libghc-ogma-extra-prof-1.14.0-372aa, libghc-ogma-language-c-prof-1.14.0-ac7d8, libghc-ogma-language-copilot-prof-1.14.0-45772, libghc-ogma-language-csv-prof-1.14.0-ffc3c, libghc-ogma-language-jsonspec-prof-1.14.0-5d707, libghc-ogma-language-lustre-prof-1.14.0-cc609, libghc-ogma-language-smv-prof-1.14.0-5f73a, libghc-ogma-language-xlsx-prof-1.14.0-319bb, libghc-ogma-language-xmlspec-prof-1.14.0-afe40, libghc-ogma-spec-prof-1.14.0-6a60f, libghc-process-prof-1.6.26.1-c4238, libghc-text-prof-2.1.3-528f6, libghc-vector-prof-0.13.2.0-b3aec, libghc-yaml-prof-0.11.11.2-d4722
Provides: libghc-ogma-core-prof-1.14.0-9a4e7
Section: haskell
Priority: optional
Homepage: https://github.com/nasa/ogma
Description: Helper tool to interoperate between Copilot and other languages; profiling libraries
 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, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
