wszystkie opcje
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: haskell-copilot-c99  ]

Pakiet: libghc-copilot-c99-dev (4.5-1 i inne)

Odnośniki dla libghc-copilot-c99-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego haskell-copilot-c99:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Compiler for Copilot targeting C99

This package is a back-end from Copilot to C.

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.

Inne pakiety związane z libghc-copilot-c99-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libghc-copilot-c99-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 4.5-1 112,7 KiB1 152,0 KiB [lista plików]
amd64 4.5-1 79,8 KiB629,0 KiB [lista plików]
arm64 4.5-1 79,8 KiB744,0 KiB [lista plików]
armel 4.5-1 93,1 KiB739,0 KiB [lista plików]
armhf 4.5-1 92,4 KiB734,0 KiB [lista plików]
hppa (port nieoficjalny) 4.5-1 144,9 KiB1 117,0 KiB [lista plików]
i386 4.5-1 119,9 KiB786,0 KiB [lista plików]
ia64 (port nieoficjalny) 3.18.1-1+b1 122,5 KiB2 143,0 KiB [lista plików]
loong64 (port nieoficjalny) 4.5-1 137,6 KiB1 388,0 KiB [lista plików]
m68k (port nieoficjalny) 3.13-1 124,5 KiB958,0 KiB [lista plików]
mips64el 4.5-1 104,9 KiB1 139,0 KiB [lista plików]
ppc64 (port nieoficjalny) 4.5-1 94,9 KiB1 131,0 KiB [lista plików]
ppc64el 4.5-1 97,6 KiB1 038,0 KiB [lista plików]
riscv64 4.5-1 131,9 KiB1 273,0 KiB [lista plików]
s390x 4.5-1 115,4 KiB1 213,0 KiB [lista plików]
sparc64 (port nieoficjalny) 4.5-1 120,7 KiB2 081,0 KiB [lista plików]
x32 (port nieoficjalny) 3.13-1 142,9 KiB1 040,0 KiB [lista plików]