INFO
Name: dhall
Version: 1.42.1-1.el10_0
Arch: aarch64
Summary: A configuration language guaranteed to terminate
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-a64-08.iad2.fedoraproject.org
Build Date: Sat May 3 11:53:05 2025
Size: 41084018
URL: https://hackage.haskell.org/package/dhall
Description: 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 also includes an executable which
type-checks a Dhall file and reduces the file to a fully evaluated normal form.
Read "Dhall.Tutorial" to learn how to use this library.
FILES
/usr/bin/dhall
/usr/lib/.build-id
/usr/lib/.build-id/95
/usr/lib/.build-id/95/a6009677ef46ee94ad6de0b709cdcd1c9cd6a3
/usr/share/bash-completion/completions/dhall
/usr/share/man/man1/dhall.1.gz
REQUIRES
dhall-common 1.42.1-1.el10_0
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libffi.so.8()(64bit)
libffi.so.8(LIBFFI_BASE_8.0)(64bit)
libffi.so.8(LIBFFI_CLOSURE_8.0)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.17)(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libtinfo.so.6()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
dhall 1.42.1-1.el10_0
dhall(aarch-64) 1.42.1-1.el10_0
CONFIG FILES
/usr/bin/dhall
/usr/lib/.build-id a
/usr/lib/.build-id/95 a
/usr/lib/.build-id/95/a6009677ef46ee94ad6de0b709cdcd1c9cd6a3 a
/usr/share/bash-completion/completions/dhall
/usr/share/man/man1/dhall.1.gz d
LICENSE FILES
BSD-3-Clause
|
