Package: dhall (1.41.2-1 and others)

[ Source: haskell-dhall  ]

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.

Other Packages Related to dhall

• dep: libatomic1 (>= 4.8) [m68k]

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.29) [armel, i386, m68k]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.34) [not alpha, armel, i386, ia64, m68k]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libffi7 (>= 3.3~20180313) [m68k]

  Package not available

• dep: libffi8 (>= 3.4) [not m68k]

  Foreign Function Interface library runtime

• dep: libgmp10 [m68k]

  Multiprecision arithmetic library

  dep: libgmp10 (>= 2:6.2.1+dfsg) [armel, i386]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not armel, i386, m68k]

• dep: libtinfo6 (>= 6)

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

Download dhall

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.41.2-1	12,308.9 kB	118,065.0 kB	[list of files]
amd64	1.41.2-1+b2	7,065.4 kB	48,330.0 kB	[list of files]
arm64	1.41.2-1+b2	7,086.2 kB	55,553.0 kB	[list of files]
armel	1.32.0-1+b1	4,654.1 kB	29,966.0 kB	[list of files]
i386	1.32.0-1+b1	4,129.1 kB	23,500.0 kB	[list of files]
ia64 (unofficial port)	1.41.2-1+b2	16,215.4 kB	365,374.0 kB	[list of files]
m68k (unofficial port)	1.19.1-1+b1	4,523.6 kB	43,633.0 kB	[list of files]
mips64el	1.41.2-1+b2	11,415.9 kB	118,992.0 kB	[list of files]
ppc64 (unofficial port)	1.41.2-1+b2	7,678.3 kB	96,301.0 kB	[list of files]
ppc64el	1.41.2-1+b2	7,902.6 kB	80,762.0 kB	[list of files]
riscv64	1.41.2-1+b2	8,390.5 kB	57,012.0 kB	[list of files]
s390x	1.41.2-1+b2	11,420.8 kB	90,668.0 kB	[list of files]
sparc64 (unofficial port)	1.41.2-1+b2	9,437.1 kB	150,125.0 kB	[list of files]