Build details

Build information

State
failed
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-11-24 14:12:32
Finished
Koji repo
130000004

Koji tasks

failed
130294369

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