Thu, 30 May 2024 07:15:39 UTC | login

Information for build dhall-1.41.2-5.fc40

ID267791
Package Namedhall
Version1.41.2
Release5.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/dhall.git#edfe611279d071a1afd21a8d8737364229c29f01
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.
Built bydavidlt
State failed
Volume DEFAULT
StartedMon, 01 Jan 2024 15:41:20 UTC
CompletedTue, 02 Jan 2024 08:34:45 UTC
Taskbuild (f40, /rpms/dhall.git:edfe611279d071a1afd21a8d8737364229c29f01)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/dhall.git#edfe611279d071a1afd21a8d8737364229c29f01'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.39.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sat Jan 08 2022 Miro Hrončok <mhroncok@redhat.com> - 1.39.0-2 - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 * Fri Aug 06 2021 Jens Petersen <petersen@redhat.com> - 1.39.0-1 - update to 1.39.0 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 1.37.1-1 - update to 1.37.1