Ubuntu

libghc-copilot-dev binary package in Ubuntu Lunar s390x

  1. Lunar (23.04)
  2. s390x
  3. libghc-copilot-dev

 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.
 See http://www.haskell.org/ for more information on Haskell.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-01-15 01:44:12 UTC Published Ubuntu Lunar s390x release universe haskell Optional 3.13-1build1
  • Published
  • Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar s390x proposed universe haskell Optional 3.13-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-01-15 01:44:42 UTC Superseded Ubuntu Lunar s390x release universe haskell Optional 3.12-1
  • Removed from disk .
  • Removal requested .
  • Superseded by s390x build of haskell-copilot 3.13-1build1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu
  2023-01-16 06:10:12 UTC Deleted Ubuntu Lunar s390x proposed universe haskell Optional 3.12-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published

Source package