Build details

Build information

State
complete
Name
frama-c
Epoch
None
Version
30.0
Release
1.fc41
Started
2024-12-06 18:15:59
Finished
2024-12-06 18:51:20
Koji repo
6535626

Koji tasks

complete
126576265
aarch64
├126576291 closed
ppc64le
├126576292 closed
s390x
├126576293 closed
x86_64
└126576290 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

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