Package: libghc-ogma-language-xlsx-dev
Source: haskell-ogma-language-xlsx
Version: 1.14.0-1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 175
Depends: libghc-base-dev-4.20.2.0-47ff0, libghc-bytestring-dev-0.12.2.0-d528c, libghc-ogma-spec-dev-1.14.0-6a60f, libghc-text-dev-2.1.3-8ae9a, libghc-xlsx-dev-1.1.4-b2ce6, libbz2-1.0, libc6 (>= 2.2.5), libexpat1 (>= 2.0.1), libgmp10 (>= 2:6.3.0+dfsg), libzstd1 (>= 1.5.5), zlib1g (>= 1:1.1.4)
Provides: libghc-ogma-language-xlsx-dev-1.14.0-351ce
Section: haskell
Priority: optional
Homepage: https://github.com/nasa/ogma
Description: Runtime Monitor translator: XLSX 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 Excel 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-xlsx-1.14.0-1hvWNp1KHJH83hISBVCCD4
