ghc-data-inttrie-0.1.4-23.rvre1.fc38 | Build Info

Information for build ghc-data-inttrie-0.1.4-23.rvre1.fc38

250325

Package Name

ghc-data-inttrie

Version

0.1.4

Release

23.rvre1.fc38

Epoch

Source

git+http://fedora.riscv.rocks:3000/rpms/ghc-data-inttrie.git#594c731770990551b303f5698e58f1ae0bd81acb

Summary

A simple lazy, infinite trie from integers

Description

Provides a minimal infinite, lazy trie for integral types. It intentionally leaves out ideas such as delete and emptiness so that it can be used lazily, eg as the target of an infinite foldr. Essentially its purpose is to be an efficient implementation of a function from integral type, given point-at-a-time modifications.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Thu, 22 Jun 2023 16:28:32 UTC

Completed

Thu, 22 Jun 2023 16:49:52 UTC

Task

build (f38, /rpms/ghc-data-inttrie.git:594c731770990551b303f5698e58f1ae0bd81acb)

Extra

{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ghc-data-inttrie.git#594c731770990551b303f5698e58f1ae0bd81acb'}}

Tags

f38

f39

f40

RPMs

src
	ghc-data-inttrie-0.1.4-23.rvre1.fc38.src.rpm (info) (download)
noarch
	ghc-data-inttrie-doc-0.1.4-23.rvre1.fc38.noarch.rpm (info) (download)
riscv64
	ghc-data-inttrie-0.1.4-23.rvre1.fc38.riscv64.rpm (info) (download)
	ghc-data-inttrie-devel-0.1.4-23.rvre1.fc38.riscv64.rpm (info) (download)
	ghc-data-inttrie-prof-0.1.4-23.rvre1.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jun 22 2023 David Abdurachmanov <davidlt@rivosinc.com> 0.1.4-23.rvre1 - Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: * Sun Mar 05 2023 David Abdurachmanov <davidlt@rivosinc.com> 0.1.4-22.rvre0 - Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 0.1.4-14 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 0.1.4-12 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.4-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Aug 06 2021 Jens Petersen <petersen@redhat.com> - 0.1.4-10 - rebuild * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.4-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Main Site Links:

Information for build ghc-data-inttrie-0.1.4-23.rvre1.fc38