Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.6.2.2
Release
36.el9
Started
2024-04-07 22:43:07
Finished
2024-04-07 23:42:56
Koji repo
9000252

Koji tasks

complete
120166850
x86_64
└120166865 closed

Build logs

x86_64
build.log | root.log

Dependency changes from previous build

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