ghc-kan-extensions-5.2-5.fc33 | Build Info

Information for build ghc-kan-extensions-5.2-5.fc33

137601

Package Name

ghc-kan-extensions

Version

5.2

Release

5.fc33

Epoch

Source

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

Summary

Kan extensions & lifts, 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

Tue, 21 Apr 2020 13:13:16 UTC

Completed

Tue, 21 Apr 2020 14:45:30 UTC

Task

build (f33, /rpms/ghc-kan-extensions.git:db3838ed038ae87ea6f67c912fc3b62188b16aff)

Extra

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

Tags

f33

f37

f38

RPMs

src
	ghc-kan-extensions-5.2-5.fc33.src.rpm (info) (download)
noarch
	ghc-kan-extensions-doc-5.2-5.fc33.noarch.rpm (info) (download)
riscv64
	ghc-invariant-0.5.3-5.fc33.riscv64.rpm (info) (download)
	ghc-invariant-devel-0.5.3-5.fc33.riscv64.rpm (info) (download)
	ghc-invariant-doc-0.5.3-5.fc33.riscv64.rpm (info) (download)
	ghc-invariant-prof-0.5.3-5.fc33.riscv64.rpm (info) (download)
	ghc-kan-extensions-5.2-5.fc33.riscv64.rpm (info) (download)
	ghc-kan-extensions-devel-5.2-5.fc33.riscv64.rpm (info) (download)
	ghc-kan-extensions-prof-5.2-5.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Feb 19 2020 Jens Petersen <petersen@redhat.com> - 5.2-5 - refresh to cabal-rpm-2.0.2 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Aug 02 2019 Jens Petersen <petersen@redhat.com> - 5.2-3 - add doc and prof subpackages (cabal-rpm-1.0.0) * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 5.2-1 - update to 5.2 - subpackage invariant * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 5.1-5 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Mon Jul 23 2018 Jens Petersen <petersen@redhat.com> - 5.1-3 - use cabal-tweak-drop-dep - revise .cabal * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Jul 09 2018 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 5.0.2-1 - update to 5.1

Main Site Links:

Information for build ghc-kan-extensions-5.2-5.fc33