libghc-copilot-prof 3.12-1 (s390x binary) in ubuntu lunar

 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.

Details

Package version:
3.12-1
Source:
haskell-copilot 3.12-1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libghc-base-prof-4.15.1.0-07409
  • libghc-copilot-c99-prof-3.12-d76b2
  • libghc-copilot-core-prof-3.12-022b4
  • libghc-copilot-dev (= 3.12-1)
  • libghc-copilot-language-prof-3.12-60cda
  • libghc-copilot-libraries-prof-3.12-79934
  • libghc-copilot-theorem-prof-3.12-af7a9
  • libghc-directory-prof-1.3.6.2-8bc8d
  • libghc-filepath-prof-1.4.2.1-5fba7
  • libghc-optparse-applicative-prof-0.16.1.0-b1a6f
Provides:
  • libghc-copilot-prof-3.12-a28aa