ghc-fingertree-0.1.5.0-12.fc42 | Build Info

Information for build ghc-fingertree-0.1.5.0-12.fc42

358495

Package Name

ghc-fingertree

Version

0.1.5.0

Release

12.fc42

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-fingertree.git#cce729b544737ef1a0611ae9c595d6ccadfe3f16

Summary

Generic finger-tree structure, with example instances

Description

A 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 28 Feb 2025 17:08:54 UTC

Completed

Fri, 28 Feb 2025 18:17:44 UTC

Task

build (f42, /rpms/ghc-fingertree.git:cce729b544737ef1a0611ae9c595d6ccadfe3f16)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-fingertree.git#cce729b544737ef1a0611ae9c595d6ccadfe3f16'}}

Tags

f42

RPMs

src
	ghc-fingertree-0.1.5.0-12.fc42.src.rpm (info) (download)
noarch
	ghc-fingertree-doc-0.1.5.0-12.fc42.noarch.rpm (info) (download)
riscv64
	ghc-fingertree-0.1.5.0-12.fc42.riscv64.rpm (info) (download)
	ghc-fingertree-devel-0.1.5.0-12.fc42.riscv64.rpm (info) (download)
	ghc-fingertree-prof-0.1.5.0-12.fc42.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * 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

Main Site Links:

Information for build ghc-fingertree-0.1.5.0-12.fc42