Package: libghc-ogma-language-csv-dev
Source: haskell-ogma-language-csv
Version: 1.12.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: 348
Depends: libghc-base-dev-4.20.2.0-08385, libghc-bytestring-dev-0.12.2.0-ea2c7, libghc-cassava-dev-0.5.4.1-1cbb1, libghc-mtl-dev-2.3.1-edf82, libghc-ogma-spec-dev-1.12.0-b4666, libghc-text-dev-2.1.3-528f6, libghc-vector-dev-0.13.2.0-b3aec, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Provides: libghc-ogma-language-csv-dev-1.12.0-0cbf3
Section: haskell
Priority: optional
Homepage: https://github.com/nasa/ogma
Description: Runtime Monitor translator: CSV Frontend
 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 library contains a frontend to read specs from CSV files.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: ogma-language-csv-1.12.0-KlvLna94DY18jXwsoFXGLe
