ghc-data-fix-0.3.2-4.fc37 | Build Info

Information for build ghc-data-fix-0.3.2-4.fc37

215353

Package Name

ghc-data-fix

Version

0.3.2

Release

4.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-data-fix.git#0fec639794a362f4581ebc19966619918f5b1902

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, 28 Oct 2022 10:57:24 UTC

Completed

Fri, 28 Oct 2022 11:53:59 UTC

Task

build (f37, /rpms/ghc-data-fix.git:0fec639794a362f4581ebc19966619918f5b1902)

Extra

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

Tags

f37

f38

RPMs

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

Logs

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

Changelog

* 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 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sun Aug 23 2020 Jens Petersen <petersen@redhat.com> - 0.2.1-1 - spec file generated by cabal-rpm-2.0.6

Main Site Links:

Information for build ghc-data-fix-0.3.2-4.fc37