Tue, 04 Jun 2024 11:44:25 UTC | login

Information for RPM dhall-1.41.2-1.rvre0.fc38.riscv64.rpm

ID1031148
Namedhall
Version1.41.2
Release1.rvre0.fc38
Epoch
Archriscv64
SummaryA configuration language guaranteed to terminate
DescriptionDhall 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.
Build Time2023-06-26 20:09:07 GMT
Size9.82 MB
1f334cff0999e4621a830ee9d66ba497
LicenseBSD-3-Clause
Buildrootf38-build-727193-100555
Provides
dhall = 1.41.2-1.rvre0.fc38
dhall(riscv-64) = 1.41.2-1.rvre0.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
dhall-common = 1.41.2-1.rvre0.fc38
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libatomic.so.1()(64bit)
libatomic.so.1(LIBATOMIC_1.0)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(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.27)(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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
/usr/bin/dhall61.84 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/ec0.00 B
/usr/lib/.build-id/ec/dff9160b94c2c873508f37534a690ffa284b1525.00 B
/usr/share/bash-completion/completions/dhall288.00 B
/usr/share/man/man1/dhall.1.gz953.00 B
Component of No Buildroots