Package: libghc-copilot-prof
Source: haskell-copilot
Version: 4.5-1build1
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: 234
Depends: libghc-base-prof-4.18.2.1-75247, libghc-copilot-c99-prof-4.5-33c6d, libghc-copilot-core-prof-4.5-d70e4, libghc-copilot-dev (= 4.5-1build1), libghc-copilot-language-prof-4.5-95f49, libghc-copilot-libraries-prof-4.5-ba184, libghc-copilot-prettyprinter-prof-4.5-31c53, libghc-copilot-theorem-prof-4.5-78629, libghc-directory-prof-1.3.8.5-71f9f, libghc-filepath-prof-1.4.300.1-4a448, libghc-optparse-applicative-prof-0.18.1.0-2e206
Provides: libghc-copilot-prof-4.5-2d155
Section: haskell
Priority: optional
Homepage: https://copilot-language.github.io
Description: Stream DSL for writing embedded C programs.; profiling libraries
 Copilot is a stream-based runtime verification framework implemented as an
 embedded domain-specific language (EDSL) in Haskell. Programs can be
 interpreted for testing, or translated into C99 code to be incorporated in a
 project, or as a standalone application. The C99 backend output is constant
 in memory and time, making it suitable for systems with hard realtime
 requirements.
 .
 This package is the main entry-point for using Copilot.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
