Build details

Build information

State
complete
Name
Agda-stdlib
Epoch
None
Version
1.7.2
Release
1.fc39
Started
2024-04-22 02:56:34
Finished
2024-04-22 03:21:19
Koji repo
9000328

Koji tasks

complete
120238031
aarch64
└120238045 closed

Build logs

aarch64
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