Sun, 24 Nov 2024 10:47:44 UTC | login

Information for build ghc-pipes-4.3.16-8.fc38

ID235403
Package Nameghc-pipes
Version4.3.16
Release8.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-pipes.git#5f515b97a78846176c4ab00e1b8fc02de5d23f89
SummaryCompositional pipelines
DescriptionPipes 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 bydavidlt
State complete
Volume DEFAULT
StartedTue, 07 Mar 2023 15:17:34 UTC
CompletedTue, 07 Mar 2023 15:44:57 UTC
Taskbuild (f38, /rpms/ghc-pipes.git:5f515b97a78846176c4ab00e1b8fc02de5d23f89)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-pipes.git#5f515b97a78846176c4ab00e1b8fc02de5d23f89'}}
Tags
f38
RPMs
src
ghc-pipes-4.3.16-8.fc38.src.rpm (info) (download)
noarch
ghc-pipes-doc-4.3.16-8.fc38.noarch.rpm (info) (download)
riscv64
ghc-pipes-4.3.16-8.fc38.riscv64.rpm (info) (download)
ghc-pipes-devel-4.3.16-8.fc38.riscv64.rpm (info) (download)
ghc-pipes-prof-4.3.16-8.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 4.3.16-5 - refresh to cabal-rpm-2.1.0 with SPDX migration * 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