Tue, 17 Dec 2024 19:07:52 UTC | login

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

ID137601
Package Nameghc-kan-extensions
Version5.2
Release5.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-kan-extensions.git#db3838ed038ae87ea6f67c912fc3b62188b16aff
SummaryKan extensions & lifts, Yoneda lemma, and (co)density (co)monads
DescriptionKan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.
Built bydavidlt
State complete
Volume DEFAULT
StartedTue, 21 Apr 2020 13:13:16 UTC
CompletedTue, 21 Apr 2020 14:45:30 UTC
Taskbuild (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