Tue, 17 Dec 2024 04:47:45 UTC | login

Information for build ghc-kan-extensions-5.2.5-3.fc40

ID267952
Package Nameghc-kan-extensions
Version5.2.5
Release3.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-kan-extensions.git#e6c46cc7f1c47c74826430d8084084a6252f1e3d
SummaryKan extensions, Kan lifts, the 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
StartedSun, 26 Nov 2023 10:22:19 UTC
CompletedSun, 26 Nov 2023 11:27:54 UTC
Taskbuild (f40, /rpms/ghc-kan-extensions.git:e6c46cc7f1c47c74826430d8084084a6252f1e3d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-kan-extensions.git#e6c46cc7f1c47c74826430d8084084a6252f1e3d'}}
Tags
f40
RPMs
src
ghc-kan-extensions-5.2.5-3.fc40.src.rpm (info) (download)
noarch
ghc-invariant-doc-0.6-3.fc40.noarch.rpm (info) (download)
ghc-kan-extensions-doc-5.2.5-3.fc40.noarch.rpm (info) (download)
riscv64
ghc-invariant-0.6-3.fc40.riscv64.rpm (info) (download)
ghc-invariant-devel-0.6-3.fc40.riscv64.rpm (info) (download)
ghc-invariant-prof-0.6-3.fc40.riscv64.rpm (info) (download)
ghc-kan-extensions-5.2.5-3.fc40.riscv64.rpm (info) (download)
ghc-kan-extensions-devel-5.2.5-3.fc40.riscv64.rpm (info) (download)
ghc-kan-extensions-prof-5.2.5-3.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 30 2023 Jens Petersen <petersen@redhat.com> - 5.2.5-3 - revise .cabal file * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * 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