ghc-pipes-safe-2.3.2-1.fc33 | Build Info

Information for build ghc-pipes-safe-2.3.2-1.fc33

138851

Package Name

ghc-pipes-safe

Version

2.3.2

Release

1.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-pipes-safe.git#541bedfec92a234d0cb3c6e29f0a5d80ccca3b52

Summary

Safety for the pipes ecosystem

Description

This package adds resource management and exception handling to the 'pipes' ecosystem. Notable features include: * /Resource Safety/: Guarantee finalization using 'finally', 'bracket' and more * /Exception Safety/: Even against asynchronous exceptions! * /Laziness/: Only acquire resources when you need them * /Promptness/: Finalize resources early when you are done with them * /Native Exception Handling/: Catch and resume from exceptions inside pipes * /No Buy-in/: Mix resource-safe pipes with unmanaged pipes using 'hoist'.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Mon, 20 Apr 2020 11:06:02 UTC

Completed

Mon, 20 Apr 2020 11:44:46 UTC

Task

build (f33, /rpms/ghc-pipes-safe.git:541bedfec92a234d0cb3c6e29f0a5d80ccca3b52)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-pipes-safe.git#541bedfec92a234d0cb3c6e29f0a5d80ccca3b52'}}

Tags

f33

RPMs

src
	ghc-pipes-safe-2.3.2-1.fc33.src.rpm (info) (download)
noarch
	ghc-pipes-safe-doc-2.3.2-1.fc33.noarch.rpm (info) (download)
riscv64
	ghc-pipes-safe-2.3.2-1.fc33.riscv64.rpm (info) (download)
	ghc-pipes-safe-devel-2.3.2-1.fc33.riscv64.rpm (info) (download)
	ghc-pipes-safe-prof-2.3.2-1.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Fri Feb 14 2020 Jens Petersen <petersen@redhat.com> - 2.3.2-1 - update to 2.3.2 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.3.1-1 - update to 2.3.1 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.9-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.2.9-3 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sun Jul 22 2018 Jens Petersen <petersen@redhat.com> - 2.2.9-1 - update to 2.2.9 * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.6-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

Main Site Links:

Information for build ghc-pipes-safe-2.3.2-1.fc33