Build details

Build information

State
complete
Name
yices
Epoch
None
Version
2.6.4
Release
11.fc40
Started
2024-02-09 16:56:07
Finished
2024-02-09 17:08:52
Koji repo
5812588

Koji tasks

complete
113239524
aarch64
├113239598 closed
ppc64le
├113239599 closed
s390x
├113239600 closed
x86_64
└113239597 closed

Build logs

aarch64
build.log | root.log
ppc64le
build.log | root.log
s390x
build.log | root.log
x86_64
build.log | root.log

Dependency changes from previous build

Dependencies for this build could not be processed.
Koschei version d754c33
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues