Build details

Build information

State
complete
Name
Agda-stdlib
Epoch
None
Version
2.1.1
Release
1.fc43
Started
2025-04-14 12:35:17
Finished
2025-04-14 13:52:14
Koji repo
6568118

Koji tasks

complete
131524534
ppc64le
└131524595 closed

Build logs

ppc64le
build.log | root.log

Dependency changes from previous build

tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
3
Koschei version d778e3e
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues