ghc-kan-extensions-5.2.5-1.fc38 | Build Info

Information for build ghc-kan-extensions-5.2.5-1.fc38

235321

Package Name

ghc-kan-extensions

Version

5.2.5

Release

1.fc38

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-kan-extensions.git#d99ee15d5743424c009256a6f99ed95a7b477110

Summary

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Description

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 14 Apr 2023 09:25:41 UTC

Completed

Fri, 14 Apr 2023 10:08:25 UTC

Task

build (f38, /rpms/ghc-kan-extensions.git:d99ee15d5743424c009256a6f99ed95a7b477110)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-kan-extensions.git#d99ee15d5743424c009256a6f99ed95a7b477110'}}

Tags

f38

RPMs

src
	ghc-kan-extensions-5.2.5-1.fc38.src.rpm (info) (download)
noarch
	ghc-invariant-doc-0.6-1.fc38.noarch.rpm (info) (download)
	ghc-kan-extensions-doc-5.2.5-1.fc38.noarch.rpm (info) (download)
riscv64
	ghc-invariant-0.6-1.fc38.riscv64.rpm (info) (download)
	ghc-invariant-devel-0.6-1.fc38.riscv64.rpm (info) (download)
	ghc-invariant-prof-0.6-1.fc38.riscv64.rpm (info) (download)
	ghc-kan-extensions-5.2.5-1.fc38.riscv64.rpm (info) (download)
	ghc-kan-extensions-devel-5.2.5-1.fc38.riscv64.rpm (info) (download)
	ghc-kan-extensions-prof-5.2.5-1.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 5.2.5-16 - https://hackage.haskell.org/package/kan-extensions-5.2.5/changelog - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.3-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 5.2.3-14 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.3-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 5.2.3-12 - update to 5.2.3 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 5.2.2-11 - update to 5.2.2 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 5.2.1-10 - update to 5.2.1 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.2-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 5.2-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Main Site Links:

Information for build ghc-kan-extensions-5.2.5-1.fc38