Wed, 13 Nov 2024 01:53:19 UTC | login

Information for build ghc-fingertree-0.1.5.0-11.fc41

ID335664
Package Nameghc-fingertree
Version0.1.5.0
Release11.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-fingertree.git#a612916de55e0e1d2619d0d7d9d66dd7c7a895e6
SummaryGeneric finger-tree structure, with example instances
DescriptionA general sequence representation with arbitrary annotations, for use as a base for implementations of various collection types, with examples, as described in section 4 of * Ralf Hinze and Ross Paterson, "Finger trees: a simple general-purpose data structure", /Journal of Functional Programming/ 16:2 (2006) pp 197-217. <http://staff.city.ac.uk/~ross/papers/FingerTree.html> For a tuned sequence type, see 'Data.Sequence' in the 'containers' package, which is a specialization of this structure.
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 11 Aug 2024 08:16:11 UTC
CompletedSun, 11 Aug 2024 08:52:58 UTC
Taskbuild (f41, /rpms/ghc-fingertree.git:a612916de55e0e1d2619d0d7d9d66dd7c7a895e6)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-fingertree.git#a612916de55e0e1d2619d0d7d9d66dd7c7a895e6'}}
Tags
f41
RPMs
src
ghc-fingertree-0.1.5.0-11.fc41.src.rpm (info) (download)
noarch
ghc-fingertree-doc-0.1.5.0-11.fc41.noarch.rpm (info) (download)
riscv64
ghc-fingertree-0.1.5.0-11.fc41.riscv64.rpm (info) (download)
ghc-fingertree-devel-0.1.5.0-11.fc41.riscv64.rpm (info) (download)
ghc-fingertree-prof-0.1.5.0-11.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Mon Aug 05 2024 Jens Petersen <petersen@redhat.com> 0.1.5.0-11 - bump release * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.1.5.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Mon Jul 15 2024 Jens Petersen <petersen@redhat.com> 0.1.5.0-9 - refresh to cabal-rpm-2.2.1 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.1.5.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> 0.1.5.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> 0.1.5.0-6 - bump release * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> 0.1.5.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 0.1.5.0-3 - refresh to cabal-rpm-2.1.0 with SPDX migration