ghc-pipes-4.3.16-4.fc37 | Build Info

Information for build ghc-pipes-4.3.16-4.fc37

215563

Package Name

ghc-pipes

Version

4.3.16

Release

4.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-pipes.git#86b93bcc6a20befb0ea2c414aca6cc171060f46a

Summary

Compositional pipelines

Description

Pipes is a clean and powerful stream processing library that lets you build and connect reusable streaming components Advantages over traditional streaming libraries: * Concise API: Use simple commands like 'for', ('>->'), 'await', and 'yield' * Blazing fast: Implementation tuned for speed, including shortcut fusion * Lightweight Dependency: pipes is small and compiles very rapidly, including dependencies * Elegant semantics: Use practical category theory * ListT: Correct implementation of ListT that interconverts with pipes * Bidirectionality: Implement duplex channels * Extensive Documentation: Second to none! Import "Pipes" to use the library. Read "Pipes.Tutorial" for an extensive tutorial.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Sat, 29 Oct 2022 05:24:27 UTC

Completed

Sat, 29 Oct 2022 17:24:42 UTC

Task

build (f37, /rpms/ghc-pipes.git:86b93bcc6a20befb0ea2c414aca6cc171060f46a)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-pipes.git#86b93bcc6a20befb0ea2c414aca6cc171060f46a'}}

Tags

f37

f38

RPMs

src
	ghc-pipes-4.3.16-4.fc37.src.rpm (info) (download)
noarch
	ghc-pipes-doc-4.3.16-4.fc37.noarch.rpm (info) (download)
riscv64
	ghc-pipes-4.3.16-4.fc37.riscv64.rpm (info) (download)
	ghc-pipes-devel-4.3.16-4.fc37.riscv64.rpm (info) (download)
	ghc-pipes-prof-4.3.16-4.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.16-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 4.3.16-3 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.16-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 4.3.16-1 - update to 4.3.16 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 4.3.14-1 - update to 4.3.14 * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.13-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.13-4 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.3.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build ghc-pipes-4.3.16-4.fc37