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-03 21:00:52
Finished
2024-04-03 21:30:09
Koji repo
9000328
Koji tasks
complete
120150907
x86_64
└120150933
closed
Build logs
x86_64
build.log
|
root.log
Dependency changes from previous build
No dependency changes