all options
bookworm  ] [  sid  ]
[ Source: haskell-copilot-language  ]

Package: libghc-copilot-language-dev (3.17-2 and others)

Links for libghc-copilot-language-dev


Debian Resources:

Download Source Package haskell-copilot-language:


External Resources:

Similar packages:

DSL for monitoring hard real-time distributed systems.

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 <>.

This package provides a library for the Haskell programming language. See for more information on Haskell.

Other Packages Related to libghc-copilot-language-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-copilot-language-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 3.17-2 172.4 kB1,660.0 kB [list of files]
arm64 3.17-2 176.3 kB1,917.0 kB [list of files]
armel 3.17-2 197.2 kB1,950.0 kB [list of files]
armhf 3.17-2 192.8 kB1,932.0 kB [list of files]
i386 3.17-2 254.6 kB2,043.0 kB [list of files]
m68k (unofficial port) 3.13-1 233.1 kB2,022.0 kB [list of files]
mips64el 3.17-2 223.3 kB2,655.0 kB [list of files]
ppc64 (unofficial port) 3.17-2 222.8 kB2,718.0 kB [list of files]
ppc64el 3.17-2 228.2 kB2,493.0 kB [list of files]
riscv64 3.17-2 248.3 kB2,838.0 kB [list of files]
s390x 3.17-2 233.8 kB2,856.0 kB [list of files]