Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

428

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

vim-filesystem

2:9.1.1537-1.fc42

2:9.1.1552-1.fc42

openssl-libs

1:3.2.4-3.fc42

1:3.2.4-4.fc42

State overview

Groups

This package is not part of any global group.

Most recent builds

134822897

2025-07-14 20:55:26

aarch64

├134823010 ( build.log | root.log )

ppc64le

├134823008 ( build.log | root.log )

x86_64

└134823009 ( build.log | root.log )

4.15.1-1.fc42

4.15.2-1.fc42

clang

20.1.7-1.fc42

20.1.8-1.fc42

pyproject-rpm-macros

1.18.2-1.fc42

1.18.3-1.fc42

perl-open

1.13-517.fc42

1.13-518.fc42

gnutls

3.8.9-3.fc42

3.8.10-1.fc42

systemd-libs

257.6-1.fc42

257.7-1.fc42

pango

1.56.3-1.fc42

1.56.4-1.fc42

clang-libs

20.1.7-1.fc42

20.1.8-1.fc42

vim-filesystem

2:9.1.1435-1.fc42

2:9.1.1537-1.fc42

glib2

2.84.2-1.fc42

2.84.3-1.fc42

llvm-libs

20.1.7-1.fc42

20.1.8-1.fc42

perl-libs

4:5.40.2-517.fc42

4:5.40.2-518.fc42

perl-interpreter

4:5.40.2-517.fc42

4:5.40.2-518.fc42

clang-resource-filesystem

20.1.7-1.fc42

20.1.8-1.fc42

atk

2.56.2-1.fc42

2.56.3-1.fc42

perl-DynaLoader

1.56-517.fc42

1.56-518.fc42

pyproject-srpm-macros

1.18.2-1.fc42

1.18.3-1.fc42

pango-devel

1.56.3-1.fc42

1.56.4-1.fc42

systemd-standalone-sysusers

257.6-1.fc42

257.7-1.fc42

atk-devel

2.56.2-1.fc42

2.56.3-1.fc42

perl-overload

1.37-517.fc42

1.37-518.fc42

at-spi2-atk

2.56.2-1.fc42

2.56.3-1.fc42

perl-base

2.27-517.fc42

2.27-518.fc42

glib2-devel

2.84.2-1.fc42

2.84.3-1.fc42

llvm-filesystem

20.1.7-1.fc42

20.1.8-1.fc42

at-spi2-atk-devel

2.56.2-1.fc42

2.56.3-1.fc42

crypto-policies

20250214-1.gitff7551b....

20250707-1.gitad370a8....

coreutils

9.6-4.fc42

9.6-5.fc42

nss

3.112.0-1.fc42

3.113.0-1.fc42

perl-File-Basename

2.86-517.fc42

2.86-518.fc42

nspr

4.36.0-9.fc42

4.36.0-10.fc42

debugedit

5.1-6.fc42

5.1-7.fc42

perl-mro

1.29-517.fc42

1.29-518.fc42

perl-vars

1.05-517.fc42

1.05-518.fc42

coreutils-common

9.6-4.fc42

9.6-5.fc42

at-spi2-core-devel

2.56.2-1.fc42

2.56.3-1.fc42

perl-Errno

1.38-517.fc42

1.38-518.fc42

perl-overloading

0.02-517.fc42

0.02-518.fc42

at-spi2-core

2.56.2-1.fc42

2.56.3-1.fc42

perl-Getopt-Std

1.14-517.fc42

1.14-518.fc42

mesa-libGL

25.0.7-2.fc42

25.1.4-2.fc42

perl-Class-Struct

0.68-517.fc42

0.68-518.fc42

perl-IO

1.55-517.fc42

1.55-518.fc42

perl-B

1.89-517.fc42

1.89-518.fc42

perl-if

0.61.000-517.fc42

0.61.000-518.fc42

mesa-filesystem

25.0.7-2.fc42

25.1.4-2.fc42

perl-POSIX

2.20-517.fc42

2.20-518.fc42

perl-Symbol

1.09-517.fc42

1.09-518.fc42

perl-File-stat

1.14-517.fc42

1.14-518.fc42

systemd-rpm-macros

257.6-1.fc42

257.7-1.fc42

mesa-libEGL

25.0.7-2.fc42

25.1.4-2.fc42

nss-softokn

3.112.0-1.fc42

3.113.0-1.fc42

perl-locale

1.12-517.fc42

1.12-518.fc42

nss-util

3.112.0-1.fc42

3.113.0-1.fc42

perl-SelectSaver

1.02-517.fc42

1.02-518.fc42

perl-Fcntl

1.18-517.fc42

1.18-518.fc42

nss-softokn-freebl

3.112.0-1.fc42

3.113.0-1.fc42

hwdata

0.396-1.fc42

0.397-1.fc42

mesa-libgbm

25.0.7-2.fc42

25.1.4-2.fc42

perl-AutoLoader

5.74-517.fc42

5.74-518.fc42

systemd-devel

257.6-1.fc42

257.7-1.fc42

nss-sysinit

3.112.0-1.fc42

3.113.0-1.fc42

perl-FileHandle

2.05-517.fc42

2.05-518.fc42

perl-IPC-Open3

1.22-517.fc42

1.22-518.fc42

mesa-dri-drivers

25.0.7-2.fc42

25.1.4-2.fc42

show 55 more collapse

134491510

2025-06-28 01:04:07

aarch64

├134491581 ( build.log | root.log )

ppc64le

├134491582 ( build.log | root.log )

x86_64

└134491583 ( build.log | root.log )

emacs-nw

1:30.1-11.fc42

1:30.1-13.fc42

python3-devel

3.13.3-2.fc42

3.13.5-1.fc42

python3-libs

3.13.3-2.fc42

3.13.5-1.fc42

emacs-common

1:30.1-11.fc42

1:30.1-13.fc42

libgs

10.05.1-3.fc42

10.05.1-4.fc42

alsa-lib

1.2.14-2.fc42

1.2.14-3.fc42

python3

3.13.3-2.fc42

3.13.5-1.fc42

pyproject-rpm-macros

1.18.1-1.fc42

1.18.2-1.fc42

glibc

2.41-7.fc42

2.41-8.fc42

dwz

0.15-9.fc42

0.16-1.fc42

emacsclient

1:30.1-11.fc42

1:30.1-13.fc42

libssh

0.11.1-4.fc42

0.11.2-1.fc42

pyproject-srpm-macros

1.18.1-1.fc42

1.18.2-1.fc42

glibc-gconv-extra

2.41-7.fc42

2.41-8.fc42

pixman

0.44.2-2.fc42

0.46.2-1.fc42

glibc-devel

2.41-7.fc42

2.41-8.fc42

glibc-common

2.41-7.fc42

2.41-8.fc42

glibc-minimal-langpack

2.41-7.fc42

2.41-8.fc42

audit-libs

4.0.5-1.fc42

4.0.5-2.fc42

libssh-config

0.11.1-4.fc42

0.11.2-1.fc42

pixman-devel

0.44.2-2.fc42

0.46.2-1.fc42

show 11 more collapse

134346080

2025-06-24 03:37:46

aarch64

├134346198 ( build.log | root.log )

ppc64le

├134346199 ( build.log | root.log )

x86_64

└134346200 ( build.log | root.log )

clang

20.1.6-1.fc42

20.1.7-1.fc42

libcurl

8.11.1-4.fc42

8.11.1-5.fc42

glibc

2.41-6.fc42

2.41-7.fc42

clang-libs

20.1.6-1.fc42

20.1.7-1.fc42

llvm-libs

20.1.6-1.fc42

20.1.7-1.fc42

llvm-filesystem

20.1.6-1.fc42

20.1.7-1.fc42

glibc-common

2.41-6.fc42

2.41-7.fc42

glibc-gconv-extra

2.41-6.fc42

2.41-7.fc42

glibc-minimal-langpack

2.41-6.fc42

2.41-7.fc42

glibc-devel

2.41-6.fc42

2.41-7.fc42

clang-resource-filesystem

20.1.6-1.fc42

20.1.7-1.fc42

curl

8.11.1-4.fc42

8.11.1-5.fc42

kernel-headers

6.14.3-300.fc42

6.15.3-200.fc42

audit-libs

4.0.3-2.fc42

4.0.5-1.fc42

libdrm

2.4.124-2.fc42

2.4.125-1.fc42

show 5 more collapse

134244076

2025-06-21 22:51:38

aarch64

├134244182 ( build.log | root.log )

ppc64le

├134244183 ( build.log | root.log )

x86_64

└134244184 ( build.log | root.log )

4.15.0-1.fc42

4.15.1-1.fc42

glibc

2.41-5.fc42

2.41-6.fc42

glibc-gconv-extra

2.41-5.fc42

2.41-6.fc42

glibc-common

2.41-5.fc42

2.41-6.fc42

glibc-minimal-langpack

2.41-5.fc42

2.41-6.fc42

qt6-srpm-macros

6.9.0-2.fc42

6.9.1-1.fc42

glibc-devel

2.41-5.fc42

2.41-6.fc42

publicsuffix-list-dafsa

20250116-1.fc42

20250616-1.fc42

pam-libs

1.7.0-5.fc42

1.7.0-6.fc42

nspr

4.36.0-8.fc42

4.36.0-9.fc42

nss

3.111.0-2.fc42

3.112.0-1.fc42

nss-softokn-freebl

3.111.0-2.fc42

3.112.0-1.fc42

nss-sysinit

3.111.0-2.fc42

3.112.0-1.fc42

mesa-libEGL

25.0.7-1.fc42

25.0.7-2.fc42

mesa-libgbm

25.0.7-1.fc42

25.0.7-2.fc42

mesa-dri-drivers

25.0.7-1.fc42

25.0.7-2.fc42

nss-softokn

3.111.0-2.fc42

3.112.0-1.fc42

mesa-libGL

25.0.7-1.fc42

25.0.7-2.fc42

libeconf

0.7.6-1.fc42

0.7.6-2.fc42

which

2.23-1.fc42

2.23-2.fc42

mesa-filesystem

25.0.7-1.fc42

25.0.7-2.fc42

nss-util

3.111.0-2.fc42

3.112.0-1.fc42

show 12 more collapse

Real build: frama-c-30.0-6.fc42

133761271

2025-06-09 22:39:04

aarch64

├133761395 ( build.log | root.log )

ppc64le

├133761396 ( build.log | root.log )

s390x

├133761397 ( build.log | root.log )

x86_64

└133761394 ( build.log | root.log )

ocaml-why3-devel

1.8.0-4.fc42

1.8.1-1.fc42

why3

1.8.0-4.fc42

1.8.1-1.fc42

vim-filesystem

2:9.1.1418-1.fc42

2:9.1.1435-1.fc42

ocaml-why3

1.8.0-4.fc42

1.8.1-1.fc42

krb5-devel

1.21.3-5.fc42

1.21.3-6.fc42

krb5-libs

1.21.3-5.fc42

1.21.3-6.fc42

libkadm5

1.21.3-5.fc42

1.21.3-6.fc42

133651951

2025-06-07 07:33:10

aarch64

├133652067 ( build.log | root.log )

ppc64le

├133652066 ( build.log | root.log )

x86_64

└133652068 ( build.log | root.log )

clang

20.1.5-1.fc42

20.1.6-1.fc42

libselinux

3.8-1.fc42

3.8-2.fc42

libgs

10.05.1-1.fc42

10.05.1-3.fc42

llvm-libs

20.1.5-1.fc42

20.1.6-1.fc42

clang-libs

20.1.5-1.fc42

20.1.6-1.fc42

file

5.46-1.fc42

5.46-3.fc42

clang-resource-filesystem

20.1.5-1.fc42

20.1.6-1.fc42

lua-libs

5.4.7-3.fc42

5.4.8-1.fc42

llvm-filesystem

20.1.5-1.fc42

20.1.6-1.fc42

file-libs

5.46-1.fc42

5.46-3.fc42

libselinux-devel

3.8-1.fc42

3.8-2.fc42

mesa-libGL

25.0.6-1.fc42

25.0.7-1.fc42

libsemanage

3.8-1.fc42

3.8.1-2.fc42

mesa-filesystem

25.0.6-1.fc42

25.0.7-1.fc42

mesa-libEGL

25.0.6-1.fc42

25.0.7-1.fc42

mesa-libgbm

25.0.6-1.fc42

25.0.7-1.fc42

hwdata

0.395-1.fc42

0.396-1.fc42

mesa-dri-drivers

25.0.6-1.fc42

25.0.7-1.fc42

show 8 more collapse

133408502

2025-06-01 04:02:23

aarch64

├133408580 ( build.log | root.log )

ppc64le

├133408579 ( build.log | root.log )

x86_64

└133408581 ( build.log | root.log )

4.14.1-1.fc42

4.15.0-1.fc42

clang

20.1.3-1.fc42

20.1.5-1.fc42

systemd-libs

257.5-6.fc42

257.6-1.fc42

clang-libs

20.1.3-1.fc42

20.1.5-1.fc42

vim-filesystem

2:9.1.1275-1.fc42

2:9.1.1418-1.fc42

llvm-libs

20.1.3-1.fc42

20.1.5-1.fc42

fonts-filesystem

1:2.0.5-21.fc42

1:2.0.5-22.fc42

qt5-srpm-macros

5.15.15-1.fc42

5.15.17-1.fc42

coreutils

9.6-3.fc42

9.6-4.fc42

fonts-srpm-macros

1:2.0.5-21.fc42

1:2.0.5-22.fc42

systemd-standalone-sysusers

257.5-6.fc42

257.6-1.fc42

clang-resource-filesystem

20.1.3-1.fc42

20.1.5-1.fc42

llvm-filesystem

20.1.3-1.fc42

20.1.5-1.fc42

coreutils-common

9.6-3.fc42

9.6-4.fc42

systemd-devel

257.5-6.fc42

257.6-1.fc42

systemd-rpm-macros

257.5-6.fc42

257.6-1.fc42

show 6 more collapse

133183955

2025-05-25 15:01:22

aarch64

├133184046 ( build.log | root.log )

ppc64le

├133184045 ( build.log | root.log )

x86_64

└133184047 ( build.log | root.log )

gcc-c++

15.1.1-1.fc42

15.1.1-2.fc42

libgcc

15.1.1-1.fc42

15.1.1-2.fc42

glib2

2.84.1-1.fc42

2.84.2-1.fc42

libstdc++

15.1.1-1.fc42

15.1.1-2.fc42

libgs

10.05.0-1.fc42

10.05.1-1.fc42

libstdc++-devel

15.1.1-1.fc42

15.1.1-2.fc42

gcc

15.1.1-1.fc42

15.1.1-2.fc42

libgccjit

15.1.1-1.fc42

15.1.1-2.fc42

libgomp

15.1.1-1.fc42

15.1.1-2.fc42

cpp

15.1.1-1.fc42

15.1.1-2.fc42

glib2-devel

2.84.1-1.fc42

2.84.2-1.fc42

gcc-plugin-annobin

15.1.1-1.fc42

15.1.1-2.fc42

mesa-filesystem

25.0.4-2.fc42

25.0.6-1.fc42

mesa-libGL

25.0.4-2.fc42

25.0.6-1.fc42

libgfortran

15.1.1-1.fc42

15.1.1-2.fc42

mesa-libgbm

25.0.4-2.fc42

25.0.6-1.fc42

mesa-libEGL

25.0.4-2.fc42

25.0.6-1.fc42

mesa-dri-drivers

25.0.4-2.fc42

25.0.6-1.fc42

libquadmath

15.1.1-1.fc42

15.1.1-2.fc42

show 9 more collapse

Previous history