ghc-base-unicode-symbols-0.2.4.2-20.fc42 | Build Info

Information for build ghc-base-unicode-symbols-0.2.4.2-20.fc42

358269

Package Name

ghc-base-unicode-symbols

Version

0.2.4.2

Release

20.fc42

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#9473812cd15043f16604de7ecd88e03903c58b36

Summary

Unicode alternatives for common functions and operators

Description

This 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 28 Feb 2025 14:59:55 UTC

Completed

Fri, 28 Feb 2025 15:44:06 UTC

Task

build (f42, /rpms/ghc-base-unicode-symbols.git:9473812cd15043f16604de7ecd88e03903c58b36)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#9473812cd15043f16604de7ecd88e03903c58b36'}}

Tags

f42

RPMs

src
	ghc-base-unicode-symbols-0.2.4.2-20.fc42.src.rpm (info) (download)
noarch
	ghc-base-unicode-symbols-doc-0.2.4.2-20.fc42.noarch.rpm (info) (download)
riscv64
	ghc-base-unicode-symbols-0.2.4.2-20.fc42.riscv64.rpm (info) (download)
	ghc-base-unicode-symbols-devel-0.2.4.2-20.fc42.riscv64.rpm (info) (download)
	ghc-base-unicode-symbols-prof-0.2.4.2-20.fc42.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Aug 05 2024 Jens Petersen <petersen@redhat.com> - 0.2.4.2-19 - bump release * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Mon Jul 15 2024 Jens Petersen <petersen@redhat.com> - 0.2.4.2-17 - refresh to cabal-rpm-2.2.1 * 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

Main Site Links:

Information for build ghc-base-unicode-symbols-0.2.4.2-20.fc42