Sun, 07 Jul 2024 15:33:34 UTC | login

Information for build ghc-base-unicode-symbols-0.2.3-1.fc31

ID124956
Package Nameghc-base-unicode-symbols
Version0.2.3
Release1.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#0958e32a7de87fb5f7cf58cc2c893246ac1bd7d7
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 failed
Volume DEFAULT
StartedSat, 21 Sep 2019 21:00:35 UTC
CompletedSat, 21 Sep 2019 21:32:47 UTC
Taskbuild (f31-candidate, /rpms/ghc-base-unicode-symbols.git:0958e32a7de87fb5f7cf58cc2c893246ac1bd7d7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-base-unicode-symbols.git#0958e32a7de87fb5f7cf58cc2c893246ac1bd7d7'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 0.2.3-1 - update to 0.2.3 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.2.4-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 0.2.2.4-18 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.2.4-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.2.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.2.4-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Jan 26 2018 Jens Petersen <petersen@redhat.com> - 0.2.2.4-14 - rebuild