Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: dhall | Distribution: Fedora Project |
Version: 1.41.2 | Vendor: Fedora Project |
Release: 7.fc40 | Build date: Wed Jan 24 10:40:36 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-19.iad2.fedoraproject.org |
Size: 82520866 | Source RPM: dhall-1.41.2-7.fc40.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/dhall | |
Summary: A 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 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.
BSD-3-Clause
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.41.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.41.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jul 23 2023 Jens Petersen <petersen@redhat.com> - 1.41.2-5 - revised .cabal file * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.41.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 1.41.2-1 - https://hackage.haskell.org/package/dhall-1.41.2/changelog - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.39.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 1.39.0-4 - rebuild
/usr/bin/dhall /usr/lib/.build-id /usr/lib/.build-id/80 /usr/lib/.build-id/80/20c3f8c328a7b18a9f352d544348dbb5d5207d /usr/share/bash-completion/completions/dhall /usr/share/man/man1/dhall.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 23:56:58 2024