Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
Agda-stdlib
Epoch
None
Version
1.7.2
Release
1.fc39
Started
2024-04-03 07:20:32
Finished
2024-04-03 07:45:32
Koji repo
9000328
Koji tasks
complete
120148105
aarch64
└120148107
closed
Build logs
aarch64
build.log
|
root.log
Dependency changes from previous build
No dependency changes