Tue, 21 May 2024 12:36:49 UTC | login

Information for build ghc-semigroupoids-5.3.4-1.fc33

ID139967
Package Nameghc-semigroupoids
Version5.3.4
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-semigroupoids.git#beff876efdd1be6424cfd765ea0940292f642774
SummarySemigroupoids: Category sans id
DescriptionProvides a wide array of (semi)groupoids and operations for working with them. A 'Semigroupoid' is a 'Category' without the requirement of identity arrows for every object in the category. A 'Category' is any 'Semigroupoid' for which the Yoneda lemma holds. When working with comonads you often have the '<*>' portion of an 'Applicative', but not the 'pure'. This was captured in Uustalu and Vene's "Essence of Dataflow Programming" in the form of the 'ComonadZip' class in the days before 'Applicative'. Apply provides a weaker invariant, but for the comonads used for data flow programming (found in the streams package), this invariant is preserved. Applicative function composition forms a semigroupoid.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 20 Apr 2020 14:28:18 UTC
CompletedMon, 20 Apr 2020 16:00:21 UTC
Taskbuild (f33, /rpms/ghc-semigroupoids.git:beff876efdd1be6424cfd765ea0940292f642774)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-semigroupoids.git#beff876efdd1be6424cfd765ea0940292f642774'}}
Tags
f33
f37
f38
RPMs
src
ghc-semigroupoids-5.3.4-1.fc33.src.rpm (info) (download)
noarch
ghc-semigroupoids-doc-5.3.4-1.fc33.noarch.rpm (info) (download)
riscv64
ghc-semigroupoids-5.3.4-1.fc33.riscv64.rpm (info) (download)
ghc-semigroupoids-devel-5.3.4-1.fc33.riscv64.rpm (info) (download)
ghc-semigroupoids-prof-5.3.4-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> - 5.3.4-1 - update to 5.3.4 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 5.3.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 5.3.2-1 - update to 5.3.2 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 5.2.2-5 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jul 28 2018 Jens Petersen <petersen@redhat.com> - 5.2.2-3 - revise .cabal * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.2.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Jul 09 2018 Elliott Sales de Andrade <quantum.analyst@gmail.com> - 5.2.2-1 - update to 5.2.2