Build details

Build information

State
complete
Name
Agda-stdlib
Epoch
None
Version
1.7.3
Release
7.fc41
Started
2025-01-10 12:10:49
Finished
2025-01-10 12:27:45
Koji repo
130000004

Koji tasks

complete
130774926
aarch64
└130774944 closed

Build logs

aarch64
build.log | root.log

Dependency changes from previous build

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