Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
Agda
Epoch
None
Version
2.6.3
Release
40.fc39
Started
2024-04-22 17:44:14
Finished
2024-04-22 18:14:36
Koji repo
9000328
Koji tasks
complete
120240883
x86_64
└120240917
closed
Build logs
x86_64
build.log
|
root.log
Dependency changes from previous build
No dependency changes