Tue, 17 Dec 2024 04:56:19 UTC | login

Information for build ghc-base-unicode-symbols-0.2.4.2-16.fc40

ID281319
Package Nameghc-base-unicode-symbols
Version0.2.4.2
Release16.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#070b321f0f3905f7ec37167c0c701231c9fddca1
SummaryUnicode alternatives for common functions and operators
DescriptionThis package defines new symbols for a number of functions, operators and types in the base package. All symbols are documented with their actual definition and information regarding their Unicode code point. They should be completely interchangeable with their definitions. For more Unicode goodness you can enable the UnicodeSyntax language extension. This extension enables Unicode characters to be used to stand for certain ASCII character sequences, i.e. → instead of ->, ∀ instead of forall and many others.
Built bydavidlt
State complete
Volume DEFAULT
StartedWed, 14 Feb 2024 16:19:43 UTC
CompletedWed, 14 Feb 2024 16:27:32 UTC
Taskbuild (f40, /rpms/ghc-base-unicode-symbols.git:070b321f0f3905f7ec37167c0c701231c9fddca1)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#070b321f0f3905f7ec37167c0c701231c9fddca1'}}
Tags
f40
f41
RPMs
src
ghc-base-unicode-symbols-0.2.4.2-16.fc40.src.rpm (info) (download)
noarch
ghc-base-unicode-symbols-doc-0.2.4.2-16.fc40.noarch.rpm (info) (download)
riscv64
ghc-base-unicode-symbols-0.2.4.2-16.fc40.riscv64.rpm (info) (download)
ghc-base-unicode-symbols-devel-0.2.4.2-16.fc40.riscv64.rpm (info) (download)
ghc-base-unicode-symbols-prof-0.2.4.2-16.fc40.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> - 0.2.4.2-14 - bump release * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Feb 16 2023 Jens Petersen <petersen@redhat.com> - 0.2.4.2-9 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 0.2.4.2-7 - rebuild