ghc-data-fix-0.3.2-9.fc40 | Build Info

Information for build ghc-data-fix-0.3.2-9.fc40

267293

Package Name

ghc-data-fix

Version

0.3.2

Release

9.fc40

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-data-fix.git#9978dd13b9cdc22df00db9ff4d50f5abf7b0a197

Summary

Fixpoint data types

Description

Fixpoint types and recursion schemes. If you define your AST as fixpoint type, you get fold and unfold operations for free. Thanks for contribution to: Matej Kollar, Herbert Valerio Riedel.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 17 Nov 2023 14:31:27 UTC

Completed

Fri, 17 Nov 2023 14:42:52 UTC

Task

build (f40, /rpms/ghc-data-fix.git:9978dd13b9cdc22df00db9ff4d50f5abf7b0a197)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-data-fix.git#9978dd13b9cdc22df00db9ff4d50f5abf7b0a197'}}

Tags

f40

RPMs

src
	ghc-data-fix-0.3.2-9.fc40.src.rpm (info) (download)
noarch
	ghc-data-fix-doc-0.3.2-9.fc40.noarch.rpm (info) (download)
riscv64
	ghc-data-fix-0.3.2-9.fc40.riscv64.rpm (info) (download)
	ghc-data-fix-devel-0.3.2-9.fc40.riscv64.rpm (info) (download)
	ghc-data-fix-prof-0.3.2-9.fc40.riscv64.rpm (info) (download)

Logs

riscv64
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Sun Jul 23 2023 Jens Petersen <petersen@redhat.com> 0.3.2-9 - revised .cabal file * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> 0.3.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 0.3.2-5 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.3.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 0.3.2-3 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.3.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 0.3.2-1 - update to 0.3.2 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 0.3.1-1 - update to 0.3.1 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 0.3.0-1 - update to 0.3.0

Main Site Links:

Information for build ghc-data-fix-0.3.2-9.fc40