Build details

Build information

State
complete
Name
gappalib-coq
Epoch
None
Version
1.6.0
Release
1.fc42
Started
2025-01-16 03:56:57
Finished
2025-01-16 04:03:42
Koji repo
6543621

Koji tasks

complete
127915187
aarch64
├127915252 closed
ppc64le
├127915253 closed
s390x
├127915254 closed
x86_64
└127915251 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

gappa
1.4.2-4.fc41
1.5.0-1.fc42
1
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues