Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.6.4.3
Release
53.fc42
Started
2025-01-20 07:20:02
Finished
2025-01-20 08:30:14
Koji repo
6544296

Koji tasks

complete
128199589
aarch64
├128199787 closed
ppc64le
├128199788 closed
s390x
├128199789 closed
x86_64
└128199786 closed

Build logs

aarch64
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

ghc-rpm-macros-extra
2.7.6-1.fc42
2.7.7-1.fc42
1
ghc-rpm-macros
2.7.6-1.fc42
2.7.7-1.fc42
2
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues