ghc-base-unicode-symbols-0.2.4.2-12.fc38 | Build Info

Information for build ghc-base-unicode-symbols-0.2.4.2-12.fc38

235019

Package Name

ghc-base-unicode-symbols

Version

0.2.4.2

Release

12.fc38

Epoch

Source

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

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

Sat, 04 Mar 2023 09:51:56 UTC

Completed

Sat, 04 Mar 2023 11:57:11 UTC

Task

build (f38, /rpms/ghc-base-unicode-symbols.git:0d654b0320b4ab43a38f83e912fc92ac617ae0af)

Extra

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

Tags

f38

RPMs

src
	ghc-base-unicode-symbols-0.2.4.2-12.fc38.src.rpm (info) (download)
noarch
	ghc-base-unicode-symbols-doc-0.2.4.2-12.fc38.noarch.rpm (info) (download)
riscv64
	ghc-base-unicode-symbols-0.2.4.2-12.fc38.riscv64.rpm (info) (download)
	ghc-base-unicode-symbols-devel-0.2.4.2-12.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Aug 06 2021 Jens Petersen <petersen@redhat.com> - 0.2.4.2-5 - rebuild * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.4.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Main Site Links:

Information for build ghc-base-unicode-symbols-0.2.4.2-12.fc38