ghc-singleton-bool-0.1.6-3.fc40 | Build Info

Information for build ghc-singleton-bool-0.1.6-3.fc40

267444

Package Name

ghc-singleton-bool

Version

0.1.6

Release

3.fc40

Epoch

Source

git+https://src.fedoraproject.org/rpms/ghc-singleton-bool.git#0b9a9b81896c81961319ea4c1dd8d2ca0b5a4546

Summary

Type level booleans

Description

Type level booleans. 'singletons' package provides similar functionality, but it has tight dependency constraints.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Sat, 18 Nov 2023 05:13:16 UTC

Completed

Sat, 18 Nov 2023 09:38:01 UTC

Task

build (f40, /rpms/ghc-singleton-bool.git:0b9a9b81896c81961319ea4c1dd8d2ca0b5a4546)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ghc-singleton-bool.git#0b9a9b81896c81961319ea4c1dd8d2ca0b5a4546'}}

Tags

f40

RPMs

src
	ghc-singleton-bool-0.1.6-3.fc40.src.rpm (info) (download)
noarch
	ghc-singleton-bool-doc-0.1.6-3.fc40.noarch.rpm (info) (download)
	ghc-some-doc-1.0.4.1-3.fc40.noarch.rpm (info) (download)
riscv64
	ghc-singleton-bool-0.1.6-3.fc40.riscv64.rpm (info) (download)
	ghc-singleton-bool-devel-0.1.6-3.fc40.riscv64.rpm (info) (download)
	ghc-singleton-bool-prof-0.1.6-3.fc40.riscv64.rpm (info) (download)
	ghc-some-1.0.4.1-3.fc40.riscv64.rpm (info) (download)
	ghc-some-devel-1.0.4.1-3.fc40.riscv64.rpm (info) (download)
	ghc-some-prof-1.0.4.1-3.fc40.riscv64.rpm (info) (download)

Logs

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

Changelog

* Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> - 0.1.6-3 - rebuild * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sun Jan 22 2023 Jens Petersen <petersen@redhat.com> - 0.1.6-1 - https://hackage.haskell.org/package/singleton-bool-0.1.6/changelog - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 0.1.5-11 - rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.5-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Aug 06 2021 Jens Petersen <petersen@redhat.com> - 0.1.5-9 - rebuild

Main Site Links:

Information for build ghc-singleton-bool-0.1.6-3.fc40