Build details

Build information

State
complete
Name
ghc-what4
Epoch
None
Version
1.5.1
Release
1.fc42
Started
2024-08-20 17:47:44
Finished
2024-08-20 18:15:17
Koji repo
6349712

Koji tasks

complete
122223946
aarch64
├122224105 closed
i386
├122224103 closed
ppc64le
├122224106 closed
s390x
├122224107 closed
x86_64
└122224104 closed

Build logs

aarch64
build.log | root.log
i386
build.log | root.log
ppc64le
build.log | root.log
s390x
build.log | root.log
x86_64
build.log | root.log

Dependency changes from previous build

No dependency changes
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues