libghc-copilot-language-dev 3.17-2 (riscv64 binary) in ubuntu noble

 The concrete syntax for Copilot.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C. Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 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.

Details

Package version:
3.17-2
Source:
haskell-copilot-language 3.17-2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libc6 (>= 2.27)
  • libghc-array-dev-0.5.4.0-0952c
  • libghc-base-dev-4.17.2.0-9c962
  • libghc-containers-dev-0.6.7-d5830
  • libghc-copilot-core-dev-3.17-246b9
  • libghc-copilot-interpreter-dev-3.17-ab683
  • libghc-copilot-theorem-dev-3.17-3aa79
  • libghc-data-reify-dev-0.6.3-54033
  • libghc-mtl-dev-2.2.2-6f39a
  • libgmp10 (>= 2:6.3.0+dfsg)
  • zlib1g (>= 1:1.1.4)
Provides:
  • libghc-copilot-language-dev-3.17-4e70a