Pakiet: dhall (1.41.2-1 i inne)
Odnośniki dla dhall
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego haskell-dhall:
- [haskell-dhall_1.41.2-1.dsc]
- [haskell-dhall_1.41.2.orig.tar.gz]
- [haskell-dhall_1.41.2-1.debian.tar.xz]
Opiekunowie:
Podobne pakiety:
configuration language guaranteed to terminate
Dhall is an explicitly-typed configuration language that is not Turing complete. Despite being Turing-incomplete, Dhall is a real programming language with a type-checker and evaluator.
Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language.
This package contains an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.
Inne pakiety związane z dhall
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [m68k]
- Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
-
- dep: libc6 (>= 2.29) [armel, i386, m68k]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.34) [nie alpha, armel, i386, ia64, m68k]
-
- dep: libc6.1 (>= 2.34) [alpha]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libffi7 (>= 3.3~20180313) [m68k]
- Pakiet niedostępny
-
- dep: libffi8 (>= 3.4) [nie m68k]
- Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych
-
- dep: libgmp10 [m68k]
- Biblioteka działań arytmetycznych z dużą dokładnością
- dep: libgmp10 (>= 2:6.2.1+dfsg) [armel, i386]
- dep: libgmp10 (>= 2:6.3.0+dfsg) [nie armel, i386, m68k]
-
- dep: libtinfo6 (>= 6)
- Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala
-
- dep: zlib1g (>= 1:1.1.4)
- Biblioteka kompresyjna - pliki wykonawcze
Pobieranie dhall
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
alpha (port nieoficjalny) | 1.41.2-1 | 12 308,9 KiB | 118 065,0 KiB | [lista plików] |
amd64 | 1.41.2-1+b2 | 7 065,4 KiB | 48 330,0 KiB | [lista plików] |
arm64 | 1.41.2-1+b2 | 7 086,2 KiB | 55 553,0 KiB | [lista plików] |
armel | 1.32.0-1+b1 | 4 654,1 KiB | 29 966,0 KiB | [lista plików] |
i386 | 1.32.0-1+b1 | 4 129,1 KiB | 23 500,0 KiB | [lista plików] |
ia64 (port nieoficjalny) | 1.41.2-1+b2 | 16 215,4 KiB | 365 374,0 KiB | [lista plików] |
m68k (port nieoficjalny) | 1.19.1-1+b1 | 4 523,6 KiB | 43 633,0 KiB | [lista plików] |
mips64el | 1.41.2-1+b2 | 11 415,9 KiB | 118 992,0 KiB | [lista plików] |
ppc64 (port nieoficjalny) | 1.41.2-1+b2 | 7 678,3 KiB | 96 301,0 KiB | [lista plików] |
ppc64el | 1.41.2-1+b2 | 7 902,6 KiB | 80 762,0 KiB | [lista plików] |
riscv64 | 1.41.2-1+b2 | 8 390,5 KiB | 57 012,0 KiB | [lista plików] |
s390x | 1.41.2-1+b2 | 11 420,8 KiB | 90 668,0 KiB | [lista plików] |
sparc64 (port nieoficjalny) | 1.41.2-1+b2 | 9 437,1 KiB | 150 125,0 KiB | [lista plików] |