Sun, 24 Nov 2024 10:35:30 UTC | login

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

ID215563
Package Nameghc-pipes
Version4.3.16
Release4.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-pipes.git#86b93bcc6a20befb0ea2c414aca6cc171060f46a
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
StartedSat, 29 Oct 2022 05:24:27 UTC
CompletedSat, 29 Oct 2022 17:24:42 UTC
Taskbuild (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